Comment by redefine_net

your program might as well be an infinite loop sampling a boolean, sigsegv can be thrown after hardware errors. I wouldn't sit under that piano even if your code is formally verified and that formal verification was verified to be verified. :)