XOg_FADDq         952 lj_asm_x86.h       emit_rma(as, XO_FADDq, XOg_FADDq, &as->J->k64[LJ_K64_2P64]);
XOg_FADDq         992 lj_asm_x86.h       emit_rma(as, XO_FADDq, XOg_FADDq, &as->J->k64[LJ_K64_M2P64]);