main := length (cons (%succ _) ());