char *anames[] = { "XXX", "ADD", "ADDCR", "ADDCRH", "ADDH", "AND", "ANDH", "ANDN", "ANDNH", "BIT", "BITH", "CMP", "CMPH", "DIV", "DIVL", "MOVB", "MOVBU", "MOVHB", "MOVW", "MOVH", "MOVHU", "MOD", "MODL", "MUL", "OR", "ORH", "ROL", "ROLH", "ROR", "RORH", "SLL", "SLLH", "SRA", "SRAH", "SRL", "SRLH", "SUB", "SUBH", "SUBR", "SUBRH", "XOR", "XORH", "BRA", "CALL", "DATA", "DBRA", "BMOVW", "DO", "DOLOCK", "DOEND", "GLOBL", "GOK", "HISTORY", "IRET", "JMP", "NAME", "NOP", "RETURN", "SFTRST", "TEXT", "WAITI", "WORD", "FADD", "FADDN", "FADDT", "FADDTN", "FDIV", "FDSP", "FIFEQ", "FIFGT", "FIEEE", "FIFLT", "FMOVF", "FMOVFN", "FMOVFB", "FMOVFW", "FMOVFH", "FMOVBF", "FMOVWF", "FMOVHF", "FMADD", "FMADDN", "FMADDT", "FMADDTN", "FMSUB", "FMSUBN", "FMSUBT", "FMSUBTN", "FMUL", "FMULN", "FMULT", "FMULTN", "FRND", "FSEED", "FSUB", "FSUBN", "FSUBT", "FSUBTN", "END", }; char *ccnames[] = { "XXX", "TRUE", "FALSE", "EQ", "NE", "GT", "LE", "LT", "GE", "HI", "LS", "CC", "CS", "MI", "PL", "OC", "OS", "FNE", "FEQ", "FGE", "FLT", "FOC", "FOS", "FUC", "FUS", "FGT", "FLE", "IBE", "IBF", "OBE", "OBF", "SYC", "SYS", "FBC", "FBS", "IR0C", "IR0S", "IR1C", "IR1S", "END", };