(i) lw a2,0(s0) Outcome: a0=1, a1=1, a2=0 Table 98. Mixed-size discrepancy (permitted by axiomatic models, forbidden by operational model) Hart 0 Hart 1 li t1, 1 li t1, 3 li t3, 2 li t2, 2 (a) sw t1,0(s0) (e) sw a0,0(s0) (c) sw s2,0(s1) (f) sw
indistinguishably