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