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