out uint8 s 4
in uint32 x
call uint32_store_bigendian