/**
 * Constants
 */
const str nl = "\n";
const real x = 1.0;
const real y = 1.0;

plex Terminal {
  nat handle;
}

/**
 * Main function
 */
function main() {
    pln((x + y).str);
}

/**
 * Print with a newline
 */
function pln(str message) {
    Terminal term = open("/dev/term/0", 0);
    write(term, message, message.length);
    write(term, nl, nl.length);
}