macro_rules! wait_clock_false {
    ($sim: ident, $($clock: ident).+, $me: expr) => { ... };
}