char template[] = "/tmp/petitbootXXXXXX";
FILE *destination_handle, *source_handle;
int destination_fd, result = 0;
unsigned char *buffer;
ssize_t r;
size_t l1;
char template[] = "/tmp/petitbootXXXXXX";
FILE *destination_handle, *source_handle;
int destination_fd, result = 0;
unsigned char *buffer;
ssize_t r;
size_t l1;