String.copy + Pointer.operator[] + Pointer.operator[]=