#include <stdio.h>

int main(int argc, char *argv[]) {
  int i = 10 ;
  if (argc > 1) {
    int ti ;
    if (sscanf(argv[1], "%d", &ti)==1 && ti >= 0) {
      i = ti ;
    } else {
      fprintf(stderr, "Ignoring %s\n", argv[1]) ;
    }
  }
  for (; i>0; --i) {
    fprintf(stdout,"%3d\n", i) ;
  }
  fputs("Blastoff\n", stdout) ;
}