Just write to stdout