/enum_with_gap.adb/1.1.1.1/Sun Sep 13 21:45:08 2020//Tnetbsd-10-0-RELEASE
/enum_with_gap.ads/1.1.1.1/Sun Sep 13 21:45:08 2020//Tnetbsd-10-0-RELEASE
/enum_with_gap_main.adb/1.1.1.1/Sun Sep 13 21:45:08 2020//Tnetbsd-10-0-RELEASE
D
