#include "util.h"
#include "gmap.h"
#include "strings.h"

#include <stdio.h>

main() {
  int file_number = 1;
  char filename[256];
  FILE * ofd;
  STRING line;
  sprintf(filename, "%04d.s", file_number);
  ofd = fopen(filename, "w");
  line = string_read_line(stdin);
  while (line != 0)
    {
      STRING newline;
      string_write_fmt(ofd, "%s\n", line);
      newline = string_read_line(stdin);
      if (newline != 0 && string_equal(line, "! End Disassembling Blocks"))
	{
	  fclose(ofd);
	  file_number++;
	  sprintf(filename, "%04d.s", file_number);
	  ofd = fopen(filename, "w");
	}
      string_free(line);
      line = newline;
    }
  fclose(ofd);
}