void emitCondBSearch( RedStateAp *state, int level, int low, int high );
void STATE_CONDS( RedStateAp *state, bool genDefault );
void emitCondBSearch( RedStateAp *state, int level, int low, int high );
void STATE_CONDS( RedStateAp *state, bool genDefault );