pub const DEBUG_KERNEL_IDNA: u32 = 3u32;