Hi,

thanks for the fast reply.

> You can't: mmap is called with offset 0 (see
> otherlibs/bigarray/mmap_unix.c). 

This isn't nice for huge files (>2G) :-(
But I guess I could write my own C-funktion for that.

> 
>  > How can I do an munmap? I ask because of these lines from 
> the man-page:
>  > 
>  >        The munmap system call deletes the mappings for the speci-
>  >        fied address  range,  and  causes  further  references  to
>  >        addresses within the range to generate invalid memory ref-
>  >        erences.  The region is also automatically  unmapped  when
>  >        the process is terminated.  On the other hand, closing the
>  >        file descriptor does not unmap the region.
> 
> unmap() is called when the bigarray is collected by the GC.

Ok.

Best regards, 
Christoph