TTCN3 Syntax