}
static int put_v(ByteIOContext *bc, uint64_t val){    int i;//    if (bytes_left(s)*8 < 9)//	return -1;    if (bytes_left(bc) < 1)	return -1;    val &= 0x7FFFFFFFFFFFFFFFULL; // FIXME can only encode upto 63 bits currently    for (i=7; ; i+=7)	if ((val>>i) == 0)	    break;    for (i-=7; i>0; i-=8)	put_byte(bc, 0x80 | (val>>i));    put_byte(bc, val&0x7f);    return 0;}