pub const _KERNEL_NSIG: u32 = 32;