meta-printf in MetaOCaml.