#include<civlc.cvh>
#include<pointer.cvh>

void main(){
  int* data;
  _Bool result;
  int a = 1;
  
  data = (int*) $malloc($root, sizeof(int)*2);
  *data = 1;
  *(data + 1) = 2;
  result = $equals(data, data+1); 
  $assert((!result));
  result = $equals(data, &a); 
  $assert((result));
  $free(data);
}