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

#include "packing.h"


void harness(void)
{
  uint8_t *a;
  mld_polyvecl *s1;
  mld_pack_sk_s1(a, s1);
}
