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

int main (int argc, char const **argv)
{
  FILE *f = fopen(argv[1], "rb");
  FILE *f_out = fopen(argv[2], "wb");
  unsigned int val;
  
  while (fread(&val, sizeof(val), 1, f)) {
    if (val < 0) {
      val = abs(val) * 2 - 1;
      fwrite(&val, sizeof(val), 1, f_out);
    } else {
      val *= 2;
      fwrite(&val, sizeof(val), 1, f_out);
    }
  }
  fclose(f);
  fclose(f_out);
  
  printf("Done!\n");
  return 0;
}