format_args - Slight change to format machinery.
format_args - Slight change to format machinery.

thepowersgang/mrustc,thepowersgang/mrustc,thepowersgang/mrustc,thepowersgang/mrustc,thepowersgang/mrustc