final void file_seek(long pos, int how) {
if (closed) err_closed();
try {
file.seek(pos, how);
} catch (IOException e) {
throw Py.IOError(e);
}
}
public void seek(long pos, int how) throws IOException {
file.seek(pos, how);
}
