const x _ = x goal = PEVAL (const 0) main = goal True