variables, exp arith