[LOGGING]
mtc.FileMask := LOG_ALL | TTCN_DEBUG | TTCN_MATCHING; // | DEBUG_ENCDEC;

[TESTPORT_PARAMETERS]

[MODULE_PARAMETERS]

[EXECUTE]