```writing
// doc-section: file("src/lib.rs").section("section1")
```