str s0, [x19, #0x28]
