(module Core_printf)