	import from TTlibrary all;

    type component C {}

    testcase TC_${module}() runs on C system C {
        var bitstring res := encvalue(m_msg);
        var charstring fileContent := oct2char(bit2oct(res));
        var charstring xmlfilename := __FILE__ & ".xml_";
//        if (not(fileExists(xmlfilename))) {
            writeFileFromUTF8Charstring(xmlfilename, fileContent);
//        }
    }

    control {
        execute(TC_${module}(), 5.0);
    }
