#include <civlc.h>

typedef struct point{
int x;
int y;
} point;

void main(){
  int a[5] = {[3]=4};
  _Bool result;
  point set[3];
    
  //result = $contains(&a, &a[2]);
  //$assert(result);
  result = $contains(&a[2], &a[3]);
  $assert(!result);
  result = $contains(&a[2], &a[2]);
  $assert(result); 
  for(int i = 0; i < 3; i++){
    set[i].x = i;
    set[i].y = i;
  }
  result = $contains(&set[1], &set[1].y);
  $assert(result);
}