let copy = Datatype.undefined