const USER_CODE_ADDR: u64 = 0x40_0000;
User code virtual address (must be in lower half, page-aligned).