György Kurucz

@alyssarosenzweig I just tested with the [latest HEAD](https://github.com/FEX-Emu/FEX/commit/6065e7a62b64ef58810947bf376686be45a7c08d), the issue unfortunately still persists :/

I have X1E, it's the only (performant) arm device I have. But it seems that `frintts` is indeed not listed among the flags: ``` Architecture: aarch64 CPU op-mode(s): 64-bit Byte...

> And just to confirm this is still with TSO disabled? Yes, I used the same `factorio.json` I have been using previously.

Just wanted to note for anyone looking at this issue that reverting efd6e95059ba924663d63c9166a74099de63eb5a (together with `"TSOEnabled": false` of course) still makes Factorio playable (smooth 60 FPS) on X1E. (Of course...

Yep, a partial revert of the `complexArgs` stuff in that PR seems to fix this issue. Diff (this applies to the current master, e75e6fbe9e85f953accdd8ac44280397e20ab695) ```diff diff --git a/src/Lean/Elab/Tactic/Induction.lean b/src/Lean/Elab/Tactic/Induction.lean index...