See https://github.com/diffblue/cbmc/issues/6268. Test program: ``` fn help(x: u32) { let x: i32; } ```
