Currently, the backend returns an error when doing arithmetic operations with an MRAM pointer. The (not so clear) error: ``` error: Cast between addresses of different address space is not supported ``` We would want to support this feature.