/ops.adb/1.1/Fri Mar  2 20:36:41 2012//
/ops.ads/1.1/Fri Mar  2 20:36:41 2012//
/ops_test.adb/1.1/Fri Mar  2 20:36:41 2012//
D
