#include int main(void) { int i; loop_i_to_10__init: i = 0; loop_i_to_10__cond: if (i >= 10) goto loop_i_to_10__end; loop_i_to_10__body: printf("%d", i); putchar('\n'); loop_i_to_10__step: i++; goto loop_i_to_10__cond; loop_i_to_10__end: return 0; }