1 extern void print_int(int i);
 2 extern void print_string(char x[]);
 3
 4 void main(void)
 5 {
 6     int i;
 7     for (i=0; i<6; i=i+1) {
 8         print_int(34859);
 9         print_string("\n");
10     }
11
12 }
13