types.ttcn 764 Bytes