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

main(int argc, char** argv) {

  FILE* fp1 = fopen(argv[1], "r");
  FILE* fp2 = fopen(argv[2], "w");

  short int val;

  short int max=0;
  while (fread(&val, 2, 1, fp1) == 1) {
    if (val > max) {max = val;}
    else if (-val < -max) {max = -val;}
  }

  rewind(fp1);

  while (fread(&val, 2, 1, fp1) == 1) {
    short int out = (int)((float)val / (float)max * (float)10000.0);
    fwrite(&out, 2, 1, fp2);
  }

  fclose(fp1);
  fclose(fp2);
}