Convert to the use of siglongjmp()
[mmh] / DATE
1  3 January 2012