char	*wnames[] =
{
	".GOK",
	".B",
	".UB",
	".H",
	".UH",
	".W",
	".F",
	".D",
	".E",
	"",
};

char	*anames[] =
{
	"XXX",
	"ADD",
	"ADD3",
	"ADDI",
	"AND",
	"AND3",
	"ANDI",
	"CALL",
	"CALL1",
	"CATCH",
	"CMPEQ",
	"CMPGT",
	"CMPHI",
	"CPU",
	"CRET",
	"DATA",
	"DIV",
	"DIV3",
	"DQM",
	"ENTER",
	"FADD",
	"FADD3",
	"FCLASS",
	"FCMPEQ",
	"FCMPEQN",
	"FCMPGE",
	"FCMPGT",
	"FCMPN",
	"FDIV",
	"FDIV3",
	"FLOGB",
	"FLUSHD",
	"FLUSHDCE",
	"FLUSHI",
	"FLUSHP",
	"FLUSHPBE",
	"FLUSHPTE",
	"FMOV",
	"FMUL",
	"FMUL3",
	"FNEXT",
	"FREM",
	"FSCALB",
	"FSQRT",
	"FSUB",
	"FSUB3",
	"GLOBL",
	"GOK",
	"HISTORY",
	"JMP",
	"JMP1",
	"JMPF",
	"JMPF1",
	"JMPFN",
	"JMPFY",
	"JMPT",
	"JMPT1",
	"JMPTN",
	"JMPTY",
	"KCALL",
	"KRET",
	"LDRAA",
	"LONG",
	"MOV",
	"MOVA",
	"MUL",
	"MUL3",
	"NAME",
	"NOP",
	"OR",
	"OR3",
	"ORI",
	"POPN",
	"REM",
	"REM3",
	"RETURN",
	"SHL",
	"SHL3",
	"SHR",
	"SHR3",
	"SUB",
	"SUB3",
	"TADD",
	"TESTC",
	"TESTV",
	"TEXT",
	"TSUB",
	"UDIV",
	"UREM",
	"USHR",
	"USHR3",
	"WORD",
	"XOR",
	"XOR3",
	"END",
};