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