Effectful memory operations

Now with mmap and automatic bound checks