division.c

#include <stdio.h>
#include <math.h>
#include <assert.h>

main() {
      FILE *f = fopen("div.h", "wt");
      assert(f != NULL);
      fprintf(f, "#define FLOORED_DIVISION %d\n", (-10 % 7) > 0 ? 1 : 0);
      fclose(f);
      return 0;
}