#include <civlc.cvh>

typedef union U{
  int x;
  double y;
} U1;

void main() {
  U1 k = {.x = 1, .y = 8.4};
  
  $assert(k.y == 8.4);
  k.x = 2;
  $assert(k.x == 2);
}