safe (cargo): A `#[safe]` attribute for explaining why `unsafe { ... }` is OK.
Keywords: safe|unsafe|soundness