Proving existence of memory m2. Trying to change the property of contents to match the "not really finite" content memory (i.e. not Undef for large blocks and all offsets).
Done with the memory construction.