the_loop_deref
printf("%d\n", the_loop_deref(0));
static int the_loop_deref(int);
return the_loop_deref(i);