GitHub_collection_hello-world/t/TTCN3.ttcn

module HelloWorld
{
    control
    {
        log("Hello World");
    }
 }