#include <stdio.h>
#include <stdlib.h>

int main(int argc, char** argv) {

  // write the file
  //
  FILE* fp = fopen(argv[1], "w");

  {
    //    char buf[] = {'0', '1', '2', '3', '4', '5', '6', '7', '8', '9'};
    //    fwrite(buf, sizeof(char), 10, fp);
    char buf[] = {'0', '1', '2', '3', '4', '5', '6'};
    fwrite(buf, sizeof(char), 7, fp);
  }

  {
    char buf[] = {'E', 'C','E', ' ', '1', '1', '1', '1', ' ', (char)NULL};
    fwrite(buf, sizeof(char), 10, fp);
  }

  {
    char buf[] = {' ', ' ', ' ', ' ', ' ', ' ', ' '};
    fwrite(buf, sizeof(char), 7, fp);
  }

  {
    char buf[] = {'E', 'C','E', ' ', '1', '1', '1', '1', ' ', (char)NULL};
    fwrite(buf, sizeof(char), 10, fp);
  }

  {
    int N = 1;
    fwrite(&N, sizeof(int), 1, fp);

    for (short int i = 1; i <= N; i++) {
      fwrite(&i, sizeof(short int), 1, fp);
    }
  }

  fclose(fp);

  // exit gracefully
  //
  return(0);
}