module SIMTRACE_CARDEM_Tests { import from General_Types all; import from Osmocom_Types all; import from SIMTRACE_Tests all; import from SIMTRACE_Types all; import from SIMTRACE_Templates all; }