method cut : (unit -> unit) option  = None