// Copyright (c) The mlkem-native project authors
// Copyright (c) The mldsa-native project authors
// Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
// SPDX-License-Identifier: MIT-0 AND Apache-2.0

#include "ct.h"

void harness(void)
{
  uint8_t a, b;

  b = mld_ct_cmask_nonzero_u8(a);
}
