#include <mem.cvh>

int main() {
  struct {
    int a;
    union UT {
      int b_seq[];
      int b_arr[10];
    } b;
  } s;
  
  $write_set_push();

  s.a = 0; // currently CIVL does not support capturing read/write
	   // footprints on variables whose types containing sequences

  $mem m1 = $write_set_pop();  
}