// pijul: we'd like to keep this fork minimal, so let's silence Clippy style
// warnings (this maintains other warnings, like the correctness category, so
// clippy can still catch any bugs we introduce)
#![allow(clippy::style)]