print to stdout