68   int64_t h9 = (load_3(s + 29) & 8388607) << 2;  in fe_frombytes()  local
80   carry9 = h9 + (1 << 24); h0 += (carry9 >> 25) * 19; h9 -= carry9 & kTop39Bits;  in fe_frombytes()
90   carry8 = h8 + (1 << 25); h9 += carry8 >> 26; h8 -= carry8 & kTop38Bits;  in fe_frombytes()
101   h[9] = h9;  in fe_frombytes()
136   int32_t h9 = h[9];  in fe_tobytes()  local
139   q = (19 * h9 + (((int32_t) 1) << 24)) >> 25;  in fe_tobytes()
149   q = (h9 + q) >> 25;  in fe_tobytes()
163   h9 += h8 >> 26; h8 &= kBottom26Bits;  in fe_tobytes()
164                   h9 &= kBottom25Bits;  in fe_tobytes()
200   s[28] = (h8 >> 20) | ((uint32_t)(h9) << 6);  in fe_tobytes()
201   s[29] = h9 >> 2;  in fe_tobytes()
202   s[30] = h9 >> 10;  in fe_tobytes()
203   s[31] = h9 >> 18;  in fe_tobytes()
423   int64_t h9 = f0g9+f1g8   +f2g7   +f3g6   +f4g5   +f5g4   +f6g3   +f7g2   +f8g1   +f9g0   ;  in fe_mul()  local
469   carry8 = h8 + (1 << 25); h9 += carry8 >> 26; h8 -= carry8 & kTop38Bits;  in fe_mul()
475   carry9 = h9 + (1 << 24); h0 += (carry9 >> 25) * 19; h9 -= carry9 & kTop39Bits;  in fe_mul()
492   h[9] = h9;  in fe_mul()
593   int64_t h9 = f0f9_2+f1f8_2 +f2f7_2 +f3f6_2 +f4f5_2;  in fe_sq()  local
618   carry8 = h8 + (1 << 25); h9 += carry8 >> 26; h8 -= carry8 & kTop38Bits;  in fe_sq()
620   carry9 = h9 + (1 << 24); h0 += (carry9 >> 25) * 19; h9 -= carry9 & kTop39Bits;  in fe_sq()
633   h[9] = h9;  in fe_sq()
844   int64_t h9 = f0f9_2+f1f8_2 +f2f7_2 +f3f6_2 +f4f5_2;  in fe_sq2()  local
865   h9 += h9;  in fe_sq2()
880   carry8 = h8 + (1 << 25); h9 += carry8 >> 26; h8 -= carry8 & kTop38Bits;  in fe_sq2()
882   carry9 = h9 + (1 << 24); h0 += (carry9 >> 25) * 19; h9 -= carry9 & kTop39Bits;  in fe_sq2()
895   h[9] = h9;  in fe_sq2()
4762   int64_t h9 = f9 * (int64_t) 121666;  in fe_mul121666()  local
4774   carry9 = h9 + (1 << 24); h0 += (carry9 >> 25) * 19; h9 -= carry9 & kTop39Bits;  in fe_mul121666()
4784   carry8 = h8 + (1 << 25); h9 += carry8 >> 26; h8 -= carry8 & kTop38Bits;  in fe_mul121666()
4795   h[9] = h9;  in fe_mul121666()