/foo.adb/1.10/Mon Aug 12 20:30:47 2024//Tnetbsd-11
/types.adb/1.10/Mon Aug 12 20:30:47 2024//Tnetbsd-11
/types.ads/1.10/Mon Aug 12 20:30:47 2024//Tnetbsd-11
D