}
-int read_int(int f)
+int32 read_int(int f)
{
int ret;
char b[4];
char b[8];
ret = read_int(f);
- if (ret != -1) return ret;
+ if ((int32)ret != (int32)0xffffffff) return ret;
#ifdef NO_INT64
fprintf(FERROR,"Integer overflow - attempted 64 bit offset\n");
-void write_int(int f,int x)
+void write_int(int f,int32 x)
{
int ret;
char b[4];