Constant EXIT_PROGRAM_LABEL 

pub const EXIT_PROGRAM_LABEL: &str = "$exit";

Bound on queued synchronous continuations in one resume_synchronously drain before it is reported as a livelock. Label $exit hands sv_rt_disable_named (LRM 24.7): not a block name but “every program initial thread of the caller’s program”.