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")