43a44
> paramOut(cp, name + ".vex", (uint32_t)machInst.vex);
77a79,82
> uint32_t temp32;
> paramIn(cp, name + ".vex", temp32);
> machInst.vex = temp32;
>