Sorry, I meant `sys.stderr.write`; stdout is not appropriate.