TTCN example