verdict.ttcn 657 Bytes