conversion ab.adb to protected obj