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()
}