macro_rules! sim_assert {
    ($sim: ident, $test: expr, $circuit: ident) => { ... };
}