LJ_K64_2P64       838 lj_asm_x86.h   	cTValue *k = &as->J->k64[LJ_K64_2P64];
LJ_K64_2P64       952 lj_asm_x86.h       emit_rma(as, XO_FADDq, XOg_FADDq, &as->J->k64[LJ_K64_2P64]);
LJ_K64_2P64       325 lj_trace.c       J->k64[LJ_K64_2P64].u64 = U64x(43f00000,00000000);