dba_write
int dba_write(const char *, struct dba *);
if (dba_write(MANDOC_DB "~", dba) != -1) {
if (dba_write(tfn, dba) == -1) {