Symbol: WITH_CURVE_GOST512