/comp_bug.adb/1.4/Sat Jan  1 15:33:35 2011//
D
