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

#include "library.h"

harness() {
  int index;
  read_pointer(index);
}