Artifact
int len = strlen (output_filename); ... char *dst_name = (char *) xmalloc (len + 5); strcpy (dst_name, output_filename); strcat (dst_name, ".exe");
b0a3122d-da51-4255-a357-d4a7876c096c
int len = strlen (output_filename); ... char *dst_name = (char *) xmalloc (len + 5); strcpy (dst_name, output_filename); strcat (dst_name, ".exe");