[default.sentinels] (original) (raw)

See [default.sentinel].