pub const issue_5723_bootstrap: Symbol;