ttsn2cxx4gt4