PROCEDURE skipblanks(VAR f : text);
  (* exits with either eoln or eof true, or (f^ <> ' ' *)

    BEGIN (* skipblanks *)
    WHILE NOT (eoln(f) OR eof(f)) AND (f^ = ' ') DO get(f);
    END; (* skipblanks *)

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