File pointers are stored as "DiskLoc"s, and consist of a file number and an offset into that file. The file numbers correspond to the file extension of the database files, which are in decimal (e.g. database.8, database.9, database.10). But the validate() command displays the file portion in hexadecimal.

It would be easier to relate validate output to the disk files if validate (and any other place where DiskLocs are displayed) showed file numbers in decimal.