macro_rules! assert_secret_seq_eq {
    ( $a1: expr, $a2: expr, $si: ident) => { ... };
}