Macro ensure_program_by_state

macro_rules! ensure_program_by_state {
    ($state: expr, $program: expr) => { ... };
}