macro_rules! assert_prologue_parity {
    ($e1:expr, $e2:expr, $e3:expr) => { ... };
}