- ST pk1 src (spRel (-2)),
- LD pk1 (spRel (-2)) dst,
- FxTOy pk1 pk2 dst dst]
- return (Any pk2 code__2)
+ ST (intSize width1) src (spRel (-2)),
+ LD (intSize width1) (spRel (-2)) dst,
+ FxTOy (intSize width1) (floatSize width1) dst dst]
+ return (Any (floatSize $ width2) code__2)