See `$CTXT_STS`