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