/declare_no_pointers.pass.cpp/1.1.1.1/Thu Aug 20 09:31:53 2015//Tnetbsd-9-4-RELEASE
/declare_reachable.pass.cpp/1.1.1.1/Thu Aug 20 09:31:53 2015//Tnetbsd-9-4-RELEASE
/get_pointer_safety.pass.cpp/1.1.1.1/Thu Aug 20 09:31:53 2015//Tnetbsd-9-4-RELEASE
D
