gen_ivtbl_count 1564 variable.c if (gen_ivtbl_count(ivtbl) == 0) gen_ivtbl_count 1640 variable.c return gen_ivtbl_count(ivtbl);