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