pavone@48: #{ pavone@48: main <- { pavone@48: os write: 1 "hello stdout via POSIX write\n" pavone@48: name <- os read: 0 100 pavone@48: os write: 2 "hello " . name . " via stderr\n" pavone@49: file <- os open: "output.txt" (os O_WRONLY) + (os O_CREAT) + (os O_TRUNC) 0b110110110 pavone@48: os write: file "hello file!\n" pavone@48: os close: file pavone@48: 0 pavone@48: } pavone@48: }