/comp_bug.adb/1.7/Tue Jan  1 06:33:18 2013//
D
