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)