Just for the record, it is possible to type check format strings with regard to their actual arguments. OCaml does this, for instance, probably since its incept

Just for the record, it is possible to type check format strings with regard to their actual arguments. OCaml does this, for instance, probably since its inception ~30 years ago or so.