why not just `"%r: %i"`?