#include <assert.h>
extern int __VERIFIER_nondet_int(void);

int main() {
  int N = 1;
  int src[N];
  int dst[N];
  src[0] = __VERIFIER_nondet_int();
  dst[0] = src[0];
  assert(dst[0] == src[0]);
  return 0;
}

