A type-checked printf implementation that aims for safety without sacrificing expressiveness or compatibility.