/nothing_to_do.pass.cpp/1.1.1.1/Fri May 17 23:02:29 2013//Tnetbsd-7-1-1-RELEASE
D/set.terminate////
D/terminate////
D/terminate.handler////
