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

void main(){
  int dog[8];
  int i;
  
  for(i=0; i < 8; i++) {
    dog[i] = i;
  }
  for(i=7;-1<i;i--) {
    printf("%d\n", dog[i]);
  }

  return;
}