implement the rest of correct x86-64 encoder support for