continue; } else { high = reader.scanSurrogates(); if (high != 0) { reader.putChar(high);
continue; } else { high = reader.scanSurrogates(); if (high != 0) { reader.putChar(high);
char high = reader.scanSurrogates(); if (high != 0) { reader.putChar(high);
char high = reader.scanSurrogates(); if (high != 0) { reader.putChar(high);