module TestCodec_TestAndSystem { import from LibItsSecurity_TestSystem all; type component TCType extends ItsSecurityBaseComponent { } type record TestRecord { bitstring bs optional } } // End of module TestCodec_TestAndSystem