#include #include #include "cprintf.h" #ifdef GLOBAL GLOBAL_SUM = 0; #endif void do_work(int32_t x) { int32_t i; #ifdef NOP_K for (i=0; i