/foo.adb/1.5/Wed Jan  4 08:17:36 2012//
/types.adb/1.5/Wed Jan  4 08:17:36 2012//
/types.ads/1.5/Wed Jan  4 08:17:36 2012//
D
