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

#include "ct.h"

void harness(void)
{
  int32_t a, b;
  uint32_t cond;
  mld_ct_sel_int32(a, b, cond);
}
