let no_binding _ = raise Not_found