PEVAL x = x inc x = x + 1 main = PEVAL (inc 1)