Email Record: Programming 32-bit microcontrollers in C :