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