dprintf(fd, "// filename=%s (%u errors)\n", D->file.filename, D->errors);
}
while (psi_plist_get(D->file.libnames, i++, &libname)) {
dprintf(fd, "// filename=%s (%u errors)\n", D->file.filename, D->errors);
}
while (psi_plist_get(D->file.libnames, i++, &libname)) {