main := %succ (%pred _);