let get_cur_loc strm =
                  match Stream.peek strm with
                  | Some ((_, r)) -> r.cur_loc
                  | None -> Loc.ghost