out uint8 s 4
in int32 x
call int32_store_bigendian