Add support for opcode arguments bigger than 0xFFFF.