#include<mem.cvh>
#include<stdlib.h>

union U {
  int x[10][10];
  int y[10][10];
};

struct U2 {
  int x[10][10];
};

struct T {
  union U u[10][10];
  struct U2 u2[10][10];  
} a[100];

int main() {
  $assert($mem_contains(&a[0..99].u[0..9][0..9].y[0..9][0..9], &a[0..99].u[0..9][0..9].x[0..9][0..9])); 
}