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

#include "rounding.h"


void harness(void)
{
  int32_t *a0, *a1;
  int32_t a;
  mld_power2round(a0, a1, a);
}
