text: #ifndef CONSTANTS_H
  #define CONSTANTS_H
  
  extern const uint64_t pbits;
  extern const uint_c p;
  extern const fp fp_0;
  extern const fp fp_1;
  extern const fp r_squared_mod_p;
  extern const uint64_t inv_min_p_mod_r;
  extern const uint_c p_minus_2;
  extern const uint_c p_minus_1_halves;
  extern const uint_c four_sqrt_p;
  
  #endif
  