Comment by simias

>PHP uses longjmp()

Well off to a good start here.