Symbol: benchmark_mldsa