c_set_enf_change_rec_flag 4000 source/db.c    int c_set_enf_change_rec_flag(char *comm)
c_set_enf_change_rec_flag 5130 source/dbsrv.c void c_set_enf_change_rec_flag(char *comm)
c_set_enf_change_rec_flag 1859 source/dbstress.c void c_set_enf_change_rec_flag(void)