if_different_memory( ), using "pointer" and "view pointer", of 'int32'.