pub const DEBUG_STACK_PROVIDER: u32 = 8192u32;