Linux 2.4

[Stephen Weeks]

> The new Linux kernel (2.4.0) handles files bigger than 2 gig.  This means that
> the position argument to Posix.IO.lseek and the result should be 64 bits.
> What can we do, if anything about this basis library problem?

Fortunately the library spec uses type Position.int, which is not required to be
the same as Int.int (or anything else, for that matter).  So, we can add Int64,
and make Position = Int64.  Is this a priority?