This bit is different for ...binary_op, but it seems to work as I made it. But I don't have an x64 nor a thumb. So maybe I broke it.