text: void __VERIFIER_error(void) __attribute__((noreturn));
  int main(void) {
  	int *x = malloc(4);
  	__VERIFIER_error();
  	return 0;
  }
  /*
  int main(void) {
  	int size = 10;//intput();
  	int array[size];
  //	for (int i = 0; i < sizeof(int)*size; ++i)
  //		*((unsigned char *)array + i) = 0;
  	for (int i = 0; i < size + 0; ++i)
  		array[i] = 0;
  
  	while(1) {}
  	return 0;
  }
  */
  