(You can optionally make `utf8` volatile here. But you don't need to.)