extern int printf(char * str, ...);

void main() {
  int i;

  for(i=0;i<20;i++) {
    printf("%d\n",i);
  }
}