y = VAL(x) ?