Cannot use NO_TERMINATION_CHECK pragma with safe flag.