checkers
macro_rules! with { ($f:expr) => { ... }; }
Simplified helper macro to run the checkers environment over a closure.
checkers::with!(|| { let _ = Box::into_raw(Box::new(0u128)); });