Lines Matching defs:spec_machine