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

#include "sys.h"

void harness(void)
{
  int t;
  mld_sys_cap cap;
  t = mld_sys_check_capability(cap);
}
