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