ttcn3 question