/comp_bug.adb/1.6/Wed Jul  4 10:48:32 2012//
D
