str terminal_namespace = "";
str prompt = "Enter a string: ";
function main() {
Terminal term(terminal_namespace, 0);
pln(prompt);
pln(terminal.read(32));
return 0;
}
function pln(ref Terminal term, str message) {
term.write(message);