MANDOCDB_VERSION
dba_int_write(MANDOCDB_VERSION);
if (be32toh(*magic) != MANDOCDB_VERSION) {
fname, be32toh(*magic), MANDOCDB_VERSION);