void put_be64(ByteIOContext *s, unsigned long long val)
void put_be64(ByteIOContext *s, UINT64 val)
void put_be64(ByteIOContext *s, unsigned long long val){    put_be32(s, val >> 32);    put_be32(s, val & 0xffffffff);}