Symbol: nxt200x_microcontroller_stop