write_str
Apparently `write!` generates more code than `write_str` when used with a simple string, so optimizing it.