extern float eval();