terminate: renames exit to terminate (it now works for any type/reason) (76d48ea)
BREAKING CHANGES
terminate: exit() has been renamed to terminate(). it now takes two arguments, the first being
the termination type, and the second its argument (previously, it only took one: the exit code
number).