const USER_STACK_TOP: u64 = _; // 8_392_704u64
User stack top (stack grows down, so this is base + 4096).