riscv_instruction_at
u32 insn = riscv_instruction_at(alt_ptr + i * sizeof(u32));
u32 insn2 = riscv_instruction_at(alt_ptr + (i + 1) * sizeof(u32));