defined printf macro for mrb_int