Actually print to stdout