6465666768697071727374
final int pos = output.get_pos(); // skip header output.skip(debut - pos); // rewrite remaining output.write_octet_array(buf, debut, resteALire); } } // This will fail to compile if public accessor API has been accidentally // removed (!)