DBA_WRITE_CHECK 561 dba/dba.c DBA_WRITE_CHECK; DBA_WRITE_CHECK 1114 dba/dba.c DBA_WRITE_CHECK; DBA_WRITE_CHECK 1157 dba/dba.c DBA_WRITE_CHECK;