main := eq? (sub (sub (%neg 500) 337) 500) (%neg 1337) 1 0;