pub fn exit_current(exit_code: i32) -> !
Stores the exit code, marks the current thread exited, and switches away.