type_in_def.ttcn 808 Bytes