pub fn exit_failure(code: u32) -> !
Terminate with a distinguishable non-zero failure code. Never returns.