XSD.ttcn 6.31 KB