#include <stdio.h>
 
void main(int argc, char *argv) {
   FILE *f = fopen("sys:kickstart2.04","w");
   char *r = (char *)0x00f80000L;
 
   if (!f) {
      printf("Can't get file or RAM\n");
      exit(10);
   }
 
   fwrite(r, 0x80000L, 1L, f);
   fclose(f);
}