Don't we have a `#[cold]` attribute as well?