Sync encoding.h with opcodes