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