Added Bigarray-functions to determine memory-map status