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

#include <stdint.h>
main() {
  int array[10];
  int *x = array + SIZE_MAX;
}