47c47,48
< stupd t7, ss, [0, t0, rsp], "-env.dataSize"
---
> st t7, ss, [0, t0, rsp], "-env.dataSize"
> subi rsp, rsp, ssz
58c59,60
< stupd t1, ss, [0, t0, rsp], "-env.dataSize"
---
> st t1, ss, [0, t0, rsp], "-env.dataSize"
> subi rsp, rsp, ssz
70c72,73
< stupd t7, ss, [0, t0, rsp], "-env.dataSize"
---
> st t7, ss, [0, t0, rsp], "-env.dataSize"
> subi rsp, rsp, ssz
82c85,86
< stupd t7, ss, [0, t0, rsp], "-env.dataSize"
---
> st t7, ss, [0, t0, rsp], "-env.dataSize"
> subi rsp, rsp, ssz