// Copyright (c) The mldsa-native project authors
// SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT

#include "reduce.h"

void harness(void)
{
  int64_t a;
  int32_t r;
  r = mld_montgomery_reduce(a);
}
