/all_satisfy.d/1.1.1.1/Sun Jul 30 05:20:42 2023//Tnetbsd-11-0-RC1
/traits.exp/1.1.1.1/Sun Jul 30 05:20:42 2023//Tnetbsd-11-0-RC1
D
