Does string formatting work properly if you don't consume all the arguments? (ah, apparently yes…)