logic.ttcn 661 Bytes