Function bodies are implicitly wrapped in `progn`.