/declare_no_pointers.pass.cpp/1.1.1.1/Fri May 17 23:02:32 2013//Tnetbsd-7-1-1-RELEASE
/declare_reachable.pass.cpp/1.1.1.1/Fri May 17 23:02:32 2013//Tnetbsd-7-1-1-RELEASE
/get_pointer_safety.pass.cpp/1.1.1.1/Fri May 17 23:02:32 2013//Tnetbsd-7-1-1-RELEASE
D
