work on binary encoding of x86_64 instructions