/bar.adb/1.8/Mon Sep 14 00:40:09 2020//Tnetbsd-10-0-RELEASE
/bar.ads/1.8/Mon Sep 14 00:40:09 2020//Tnetbsd-10-0-RELEASE
/null_record.adb/1.8/Mon Sep 14 00:40:09 2020//Tnetbsd-10-0-RELEASE
D
