Constant issue_5723_bootstrap 

pub const issue_5723_bootstrap: Symbol;