pub const KernelError_NotDebugged: _bindgen_ty_2 = 520;