d.ttcn3 3.67 KB