Constant DYN_MODULUS_U64 

const DYN_MODULUS_U64: LocalKey<UnsafeCell<BarrettReduction<u128>>>;