((code (label main (load $0 &x) (load $1 &y) (add-real $2 $1 $0) (real-to-string $3 $2) (string-length $4 $3) (load-immediate $5 &terminal-namespace) (syscall DEVICE-WRITE $5 $3 $4) (load-immediate $6 &new-line) (string-length $7 $6) (syscall DEVICE-WRITE $5 $6 $7) (halt))) (data (label terminal-namespace "/dev/term/0") (label new-line "\n") (label x 1.0) (label y 2.0)))