main := zero? 0 () _;