
    type universal charstring Raw;

    type port P message {
        inout all;
    }
    type component C {
        port P p;
    }

    testcase TC_${module}() runs on C system C {
        map(self:p, system:p);

		// encode the message
        p.send(m_msg);
		log("template should either be rejected by compiler or by runtime latest while encoding");

        setverdict(fail, "Invalid template should not be encoded");

        unmap(self:p, system:p);
    }

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