RECHECK_INP_CLEAN
#define RECHECK_INP() RECHECK_INP_CLEAN(/* noop */)
RECHECK_INP_CLEAN(FREE_NEW_TLB());