> So, I went back to the more general solution. The test in the > Transfer.Switch is now a full Operand.t (rather than a MemLoc.t), so all > of the replacement code should work. I'm sure I need at least a new x86Translate as well. Your snapshot did not include this. Could you send a snapshot of the entire x86-codegen directory? Thanks.