Macro __static_cond

macro_rules! __static_cond {
    (elaboration elaboration) => { ... };
    (elaboration program) => { ... };
}