struct InsnBytecode {
    // unsafety:
    //  the instruction executor assumes that:
    //    c is a valid regnum
...
    c : BytecodeValue,
...

        unsafe {
            *regs.offset(c as isize) = r;
        }