> Included is the new x86-simplify.fun and also x86.fun (where I noticed a > typo in a toString). Successful integration. Successful self-compile. Phew!