macro_rules! predicate_queue {
    [$($v:expr),*] => { ... };
}