+extern std::string currentEvalFileName;
+
+// The default net name MUST follow the format nn-[SHA256 first 12 digits].nnue
+// for the build process (profile-build and fishtest) to work. Do not change the
+// name of the macro, as it is used in the Makefile.
+#define EvalFileDefaultName "nn-0000000000a0.nnue"
+
+namespace NNUE {
+
+void init();
+void verify();
+
+} // namespace NNUE
+
+} // namespace Eval
+
+} // namespace Stockfish