Maybe `#[inline]` this function, just to be sure?