public void ThrowError(string error) { throw new IOException(error + " at file pointer " + file.FilePointer); }