oop.ttcn 20.3 KB