char* anames[] = { "XXX", "ADD", "ADDW", "AMO_D", "AMO_W", "AND", "BEQ", "BGE", "BGEU", "BLT", "BLTU", "BNE", "CSRRC", "CSRRCI", "CSRRS", "CSRRSI", "CSRRW", "CSRRWI", "DIV", "DIVU", "DIVUW", "DIVW", "FENCE", "FENCE_I", "JAL", "JALR", "LR_D", "LR_W", "LUI", "MOVB", "MOVBU", "MOVH", "MOVHU", "MOV", "MOVW", "MOVWU", "MUL", "MULH", "MULHSU", "MULHU", "MULW", "OR", "REM", "REMU", "REMUW", "REMW", "SC_D", "SC_W", "SLL", "SLLW", "SLT", "SLTU", "SRA", "SRAW", "SRL", "SRLW", "SUB", "SUBW", "SWAP_D", "SWAP_W", "SYS", "XOR", "MOVF", "MOVD", "MOVFD", "MOVDF", "MOVWF", "MOVUF", "MOVFW", "MOVWD", "MOVUD", "MOVDW", "ADDF", "ADDD", "SUBF", "SUBD", "MULF", "MULD", "DIVF", "DIVD", "CMPLTF", "CMPLTD", "CMPEQF", "CMPEQD", "CMPLEF", "CMPLED", "BGT", "BGTU", "BLE", "BLEU", "SGT", "SGTU", "JMP", "RET", "NOP", "DATA", "GLOBL", "GOK", "HISTORY", "NAME", "TEXT", "WORD", "END", "DYNT", "INIT", "SIGNAME", "DWORD", "MOVFV", "MOVDV", "MOVVF", "MOVUVF", "MOVVD", "MOVUVD", "LAST", };