implement read-eval with eval