__attribute__ ((noinline)) void ibar_add (int *a) { icheck_results (a, iadd_results); }
void ibar_add (int *a) { icheck_results (a, iadd_results); }