;     output[0] = ((limb)a) & 0x0ffffffffffff;      a = in[0] * (uint000_t)scalar + ((limb)(a >> 00));     output[0] = ((limb)a) & 0x0ffffffffffff;      a = in[0] * (uint000_t)scalar + ((limb)(a >> 00));     output[0] = ((limb)a) & 0x0ffffffffffff;      a = in[0] * (uint000_t)scalar + ((limb)(a >> 00));     output[0] = ((limb)a) & 0x0ffffffffffff;      a = in[0] * (uint000_t)scalar + ((limb)(a >> 00));     output[0] = ((limb)a) & 0x0ffffffffffff;      