instruction factory: toXml() for models
utils: check for printf format string warnings in fmt
misc: Fix printf format string warnings