AutoCorrode depends on the following AFP entries. Download and unpack them here.
If they are located in a different directory, set the AFP_COMPONENT_BASE environment variable accordingly.
- Word_Lib — word-level operations and bit manipulation
- Isabelle_C — C11 parser front-end (required for Micro C sessions)