LABEL_XMAGIC
if (l_l[33] == LABEL_XMAGIC) {
l_s[66] = LABEL_XMAGIC >> 16;
l_s[67] = LABEL_XMAGIC & 0xffff;