Constant ARM_bext 

pub const ARM_bext: _bindgen_ty_60 = 1402;