This should probably be `#[inline]`