out uint8 s 2
in uint16 x
call uint16_store_bigendian