pub const INTR_STACK_BASE: usize = _; // 18_446_744_071_713_062_912usize