172,173c172
< st rbp, ss, [1, t0, rsp], "-env.dataSize"
< subi rsp, rsp, dsz
---
> stupd rbp, ss, [1, t0, rsp], "-env.dataSize"
189,190c188
< st t5, ss, [1, t0, rsp], "-env.dataSize"
< subi rsp, rsp, dsz
---
> stupd t5, ss, [1, t0, rsp], "-env.dataSize"
199,200c197
< st t6, ss, [1, t0, rsp], "-env.dataSize"
< subi rsp, rsp, dsz
---
> stupd t6, ss, [1, t0, rsp], "-env.dataSize"