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

#include "polyvec.h"

void harness(void)
{
  mld_polyvecl *v;
  int32_t bound;

  mld_polyvecl_chknorm(v, bound);
}
