User blog comment:Kyodaisuu/A program of Kirby-Paris hydra/@comment-1605058-20140817182644/@comment-25418284-20140817211454

INT_MAX was not allowed in the Bakeoff because the Bakeoff's theoretical machine has no INT_MAX.