mrb_mintjulep_proof2