@joe actually this one was implemented already, except due to an implementation quirk, it returns whether the function *doesn't* halt.

It's spelled `fatalError()`. As a side effect of zeroing all the pages of memory in the process as it exits, the boolean the return value would have been assigned to is set to false.

@joe

Remember, P = NP when N = 1. Or sometimes when P = 0.