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

#include <stdint.h>
main() {
  uint8_t x;
  uint16_t y;
  x = y;
}