73c73,74
< stupd reg, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
---
> st reg, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
> subi rsp, rsp, ssz
81c82,83
< stupd t1, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
---
> st t1, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
> subi rsp, rsp, ssz
89c91,92
< stupd t1, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
---
> st t1, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
> subi rsp, rsp, ssz
98c101,102
< stupd t1, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
---
> st t1, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
> subi rsp, rsp, ssz
106,113c110,118
< stupd rax, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
< stupd rcx, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
< stupd rdx, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
< stupd rbx, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
< stupd rsp, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
< stupd rbp, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
< stupd rsi, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
< stupd rdi, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
---
> st rax, ss, [1, t0, rsp], "1 * -env.stackSize", dataSize=ssz
> st rcx, ss, [1, t0, rsp], "2 * -env.stackSize", dataSize=ssz
> st rdx, ss, [1, t0, rsp], "3 * -env.stackSize", dataSize=ssz
> st rbx, ss, [1, t0, rsp], "4 * -env.stackSize", dataSize=ssz
> st rsp, ss, [1, t0, rsp], "5 * -env.stackSize", dataSize=ssz
> st rbp, ss, [1, t0, rsp], "6 * -env.stackSize", dataSize=ssz
> st rsi, ss, [1, t0, rsp], "7 * -env.stackSize", dataSize=ssz
> st rdi, ss, [1, t0, rsp], "8 * -env.stackSize", dataSize=ssz
> subi rsp, rsp, "8 * env.stackSize"
154c159,160
< stupd rbp, ss, [1, t0, rsp], "-env.dataSize"
---
> st rbp, ss, [1, t0, rsp], "-env.dataSize"
> subi rsp, rsp, ssz
170c176,177
< stupd t5, ss, [1, t0, rsp], "-env.dataSize"
---
> st t5, ss, [1, t0, rsp], "-env.dataSize"
> subi rsp, rsp, ssz
179c186,187
< stupd t6, ss, [1, t0, rsp], "-env.dataSize"
---
> st t6, ss, [1, t0, rsp], "-env.dataSize"
> subi rsp, rsp, ssz
< stupd reg, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
---
> st reg, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
> subi rsp, rsp, ssz
81c82,83
< stupd t1, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
---
> st t1, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
> subi rsp, rsp, ssz
89c91,92
< stupd t1, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
---
> st t1, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
> subi rsp, rsp, ssz
98c101,102
< stupd t1, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
---
> st t1, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
> subi rsp, rsp, ssz
106,113c110,118
< stupd rax, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
< stupd rcx, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
< stupd rdx, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
< stupd rbx, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
< stupd rsp, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
< stupd rbp, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
< stupd rsi, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
< stupd rdi, ss, [1, t0, rsp], "-env.stackSize", dataSize=ssz
---
> st rax, ss, [1, t0, rsp], "1 * -env.stackSize", dataSize=ssz
> st rcx, ss, [1, t0, rsp], "2 * -env.stackSize", dataSize=ssz
> st rdx, ss, [1, t0, rsp], "3 * -env.stackSize", dataSize=ssz
> st rbx, ss, [1, t0, rsp], "4 * -env.stackSize", dataSize=ssz
> st rsp, ss, [1, t0, rsp], "5 * -env.stackSize", dataSize=ssz
> st rbp, ss, [1, t0, rsp], "6 * -env.stackSize", dataSize=ssz
> st rsi, ss, [1, t0, rsp], "7 * -env.stackSize", dataSize=ssz
> st rdi, ss, [1, t0, rsp], "8 * -env.stackSize", dataSize=ssz
> subi rsp, rsp, "8 * env.stackSize"
154c159,160
< stupd rbp, ss, [1, t0, rsp], "-env.dataSize"
---
> st rbp, ss, [1, t0, rsp], "-env.dataSize"
> subi rsp, rsp, ssz
170c176,177
< stupd t5, ss, [1, t0, rsp], "-env.dataSize"
---
> st t5, ss, [1, t0, rsp], "-env.dataSize"
> subi rsp, rsp, ssz
179c186,187
< stupd t6, ss, [1, t0, rsp], "-env.dataSize"
---
> st t6, ss, [1, t0, rsp], "-env.dataSize"
> subi rsp, rsp, ssz