X86_NUMCMP        763 core/vm-x86.c    X86_NUMCMP(0x7C, 0x72,  		// jl, jb
X86_NUMCMP        770 core/vm-x86.c    X86_NUMCMP(0x7E, 0x76,		// jle, jbe
X86_NUMCMP        777 core/vm-x86.c    X86_NUMCMP(0x7F, 0x77,		// jg, ja
X86_NUMCMP        784 core/vm-x86.c    X86_NUMCMP(0x7D, 0x73, 		// jge, jae