main := succ 0;