Adapt to changed function name: `initalizeMemory` -> `initializeMemory`
Adapt to changed function name: `initalizeMemory` -> `initializeMemory`

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script