dba_str_write
dba_str_write(dba_array_get(page, DBP_DESC));
dba_str_write(entries[ie]->value);
dba_str_write(str);
void dba_str_write(const char *);