/gmp/printf/