add s0,s0,t3 (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 (a) lw a0,0(s0) (d) lw a1,0(s1) (h) lw a3,0(s0) Outcome: a0=1, a1=v, a2=v, a3=0 (where v is some next lvl bs
sleaziest