Should these two functions be marked with `#[inline]`?