pub trait Platform: Send + Sync + Write { // Required method fn exit(&self, state: ExitState) -> !; }