check_erase
check_erase(mt, set[i+1], xa_mk_value(set[i+1]));
#define erase_check_erase(mt, i) check_erase(mt, set[i], entry[i%2])