1// exit_pause — production implementation. 2// 3// All I/O lives in `exit_pause/io.rs` (boundary module — file stem `io` 4// is recognized as a boundary by forbid_io_effects). 5 6include!("exit_pause/io.rs");