let incrl t k =
  match t.line with
      None -> raise Undefined
    | Some l -> {t with line = Some (l+k)}