added a missing 4th parameter to StoreIntToMemory(~)