main := eq? 1337 (%succ (%mul2 668)) 1 0;