- LinesIn File_name READ_FILE ( String : 
                                         If Line # 1 3 = '-- ' then
                                          ...

                                          Iterate
                                         Else
                                          If Line = ';.' then Leave
                                          Else Iterate
                                         ;
                              )
