fn record_zero_conversion<E>( checks: &mut Vec<CompatibilityCheck>, name: &str, result: Result<U256, E>, )