Lines Matching defs:has_sat