out uint8 s 1
in uint8 x
call uint8_store_bigendian