fprint_global
fprint_global(fp, name, nv->nv_num);
fprint_global(fp, dl->dl_name, 0xdeadbeef);
fprint_global(fp, dl->dl_name, UNDEFINED);
fprint_global(fp, dl->dl_name,