LibItsSecurity_TypesAndValues.ttcn3

        encode "UpperTester"
    } // End of group utPrimitives
        
} with {
    encode "LibItsSecurity"
} // End of module LibItsSecurity_TypesAndValues