This is a nice writeup, especially the part about the import binding FSA! These kinds of little state machines show in all sorts of image format and image forma

This is a nice writeup, especially the part about the import binding FSA! These kinds of little state machines show in all sorts of image format and image format-adjacent places, like DWARF's line program[1] and location expression encoding. (Having written parsers for all three, I think Mach-O is the best "major" program image format. It's certainly the most well abstracted.) [1]: https://swatinem.de/blog/dwarf-lines/ https://swatinem.de/blog/dwarf-lines/