pub fn exit_process() -> !