mdb_ctf_num_members
return (mdb_ctf_num_members(a) == mdb_ctf_num_members(b) &&
mod_members = mdb_ctf_num_members(modid);
extern int mdb_ctf_num_members(mdb_ctf_id_t);