/ops.adb/1.1.1.2/Sun Jun 22 23:41:21 2014//Tnetbsd-7-2-RELEASE
/ops.ads/1.1.1.2/Sun Jun 22 23:41:21 2014//Tnetbsd-7-2-RELEASE
/ops_test.adb/1.1.1.2/Sun Jun 22 23:41:21 2014//Tnetbsd-7-2-RELEASE
D
