write_stderr() function is unnecessary