}
	
	
	sx := int64(x)
	sy := int64(y)
	checkint64(sx, sy)
	if (int64(int32(sx)) == sx || int64(int32(^sx)) == ^sx) && (int64(int32(sy)) == sy || int64(int32(^sy)) == ^sy) {
		checkint32(int32(sx), int32(sy))
	}
	if (int64(int16(sx)) == sx || int64(int16(^sx)) == ^sx) && (int64(int16(sy)) == sy || int64(int16(^sy)) == ^sy) {
		checkint16(int16(sx), int16(sy))
	}

		y := x[4:]
		checkBytes("y[1:]", y[1:])
	}
	{
		x := ints
		checkInts("x", x)
		checkInts("x[5:]", x[5:])
		checkInts("x[five:]", x[five:])
		checkInts("x[5:five]", x[5:five])
		checkInts("x[five:5]", x[five:5])
		checkInts("x[five:five]", x[five:five])
		checkInts("x[1:][2:][2:]", x[1:][2:][2:])
		y := x[4:]
		checkInts("y[1:]", y[1:])
	}

    return 1;
  }
  signed char ret = fn();
  if (ret != want) {
    fprintf(stderr, "ERROR: %s=%d, want %d\n", fname, ret, want);
    return 1;
  }
  return 0;
}

int check_int32(void* handle, const char* fname, int32_t want) {
  int32_t (*fn)();
  fn = (int32_t (*)())dlsym(handle, fname);
  if (!fn) {
    fprintf(stderr, "ERROR: missing %s: %s\n", fname, dlerror());
    return 1;
  }