FE_INT
clear_state(cfe, FS_INT | FE_INT, node->id);
clear_state(cfe, FE_INT, node->id);
set_state(cfe, FE_INT, node->id);
!check_state(cfe, FE_INT, node->id)) {