Store 64-bit integer from the first element of a into memory. mem_addr does not need to be aligned on any particular boundary.