pub const overflow_checks: Symbol;