// 'chout' is chuck out, pronounced "shout" // 'cherr' is chuck err, pronounced "Cher" // output to console on stdout chout <= 1 <= " foo " <= 5.5 <= IO.newline(); // output to console on stderr cherr <= 1 <= " bar " <= 5.5 <= IO.newline(); // 'chout' is buffered; use chout.flush() to output immediately // 'cherr' prints immediately, flush() or no flush()