For the VEX Cortex 2.0 microcontroller