) & 0x0ffffffffffff;     output[0] = (load_limb(in + 0) >> 0) & 0x0ffffffffffff;     output[0] = (load_limb(in + 00) >> 0) & 0x0ffffffffffff;     output[0] = (load_limb(in + 00) >> 0) & 0x0ffffffffffff;     output[0] = (load_limb(in + 00) >> 0