PEVAL x = x coin = 0 coin = 1 double x = x + x main = PEVAL (double coin)