(eval (read-from-string "(+ 4 5)"))