If the failure mode of the "correct" solution is to exit the program, I stand by my assertion that it is incorrect by construction.