PROCEDURE skipto(c : char; VAR f : text);
  (* skip characters until either c or eoln encountered *)
  (* at exit c is in f^, or eoln or eof is true         *)

    BEGIN (* skipto *)
    WHILE (f^ <> c) AND NOT (eoln(f) OR eof(f)) DO get(f);
    END; (* skipto *)

  (* 1---------------1 *)