s/NO_TERMINATION_CHECK/NON_TERMINATING