// Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
// SPDX-License-Identifier: MIT-0

#include <assert.h>

int main() {
  int x = 0;
  assert(x == 0);
  return 0;
}