i386-x40 wex register mapping