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

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