// Input file to test reading through API, not for compiling!

#include <assert.h>

int main(int argc, char *argv[])
{
  int a[] = {0, 1, 2, 3, 4};
  assert(a[4] != 4);
}