These should probably be `#[inline]`