# clippy options: https://rust-lang.github.io/rust-clippy/