/foo.adb/1.4/Sat Jan  1 15:33:33 2011//
/types.adb/1.4/Sat Jan  1 15:33:33 2011//
/types.ads/1.4/Sat Jan  1 15:33:33 2011//
D
