void int125 (void);
Restore MTX BASIC 8ms interrupt
Include file: mtxint.h