elt_filter6_testvarcomp# filterpart.elt_filter6_testvarcomp(p0: str) → int# Filterpart: elt_filter6_testvarcomp