let chop_prefix_exn t ~prefix = match comp_loop true (t,prefix) with | Some r -> r | None -> raise (Invalid_argument "chop_prefix_exn: not a prefix")