/ops.adb/1.2/Tue Jan  1 06:33:17 2013//
/ops.ads/1.2/Tue Jan  1 06:33:17 2013//
/ops_test.adb/1.2/Tue Jan  1 06:33:17 2013//
D
