Programming 32-bit Microcontrollers in C