read-string over eval