a toy program of grep specification