FWIW, it's rather annoying when tiny functions like these aren't `#[inline]` because then any attempt to use them cross-crate has a huge performance cost.