gcl/gmp4/printf
