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