public int CopyTo(int offset, char[] destination, int destinationOffset, int length) { //^ assume false; return 0; }