Lines Matching full:precondition
550 // Precondition: p points to the beginning of an entry in the central dir
