out uint8 s 8
in int64 x
call int64_store_bigendian