write to stdout