Tagged microcontrollers