Given
s = open("bigdata")
a = mmap_array(Int64, (a_billion, a_jillion), s)Is it safe to use a after s has been closed? The documentation isn't entirely clear about when munmap is called; is there an explicit operation we should use on a to deterministically unmap it?
