Can you emit them into separate files with distinct @prefix@-es? (This may require a @cpu@ -> @prefix@ change in the sim-*.scm generators.) Quite possibly, yes. I don't know how sfmt names are chosen, since they are a subset of all instructions, right? For example sfmt_add may be used for a SUB instruction also. Ben