Bitstream Writer: emitting 64 bit fields

Hi folks!

I'm trying to create a proper abbrev for 64 bit field. If I got right, when you use "BitCodeAbbrevOp" method, it is only possible to set up to 32 bit fixed value. Should I use a VBR or split my 64 value onto two 32 bit ones?

Thanks!
Stepan Dyatkovskiy