| stq abcdef0123456789,1133557722446688, 0 => abcdef0123456789,1133557722446688) | |
| lq (0xaaccee0011335577, 0xabcdef0123456789) => (reg_pair = 0xaaccee0011335577, 0xabcdef0123456789) | |
| lqarx (0xaaccee0011335577, 0xabcdef0123456789) => (reg_pair = 0xaaccee0011335577, 0xabcdef0123456789) | |
| stqcx. abefcd0145236789,1155337744226688 => abefcd0145236789,1155337744226688; CR=20000000 | |
| All done. Tested 4 different instructions |