{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"Some(mmap.make_read_only().unwrap())"}]}
            Some(mmap.make_read_only().unwrap())
            mmap.copy_from_slice(d.read_raw_bytes(len));
        } else {