Defines the DLX ISA used in my projects.