../src/SCCPasp_Types.ttcn