#include "state_path.h"
#include <stdio.h>

int main(int argc, char* argv[]) {
  FILE* f = fopen(state_file, "w");
  fprintf(f, "THAWED\n");
  fclose(f);
  return 0;
}