void set_data(unsigned char magic[], uint16_t version, FILE* target);
int copy_file(char* source_file, char* target_file);