public final int readUnsignedShort() throws IOException { return InferUndefined.can_throw_ioexception_int(); }
public final int skipBytes(int n) throws IOException { return InferUndefined.can_throw_ioexception_int(); }
public int read(byte b[], int off, int len) throws IOException { return InferUndefined.can_throw_ioexception_int(); }