pub const unreachable_code: Symbol;