Use a tagged literal instead of read-eval, which doesn't quite eval