import extensions;
import extensions'text;

public program()
{
    var s := "World";
    s := "Hello " + s;
    console.writeLine:s;

    // Alternative way
    var s2 := StringWriter.load("World");
    s2.insert(0, "Hello ");
    console.writeLine:s2;
    console.readChar()
}