let next_line_exn p =
    match next_line p with
    | Some s -> s
    | None -> raise No_next_line