Very interesting design. I guess replaying loads is the really awkward bit. Also how do variable-latency arithmetic instructions work?