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

#include "polyvec_lazy.h"

void harness(void)
{
  mld_poly *buf;
  mld_sk_t0hat *t0;
  unsigned int i;

  mld_sk_t0hat_get_poly(buf, t0, i);
}
