Lines Matching defs:infp