PC_DRVNUM
(void) fprintf(fout, "Drive Number: 0x%x\n", PC_DRVNUM(h));
ADD_UINT32(h, "drive_number", PC_DRVNUM(h));