t / t4018 / cpp-union-definitionon commit prune: check SEEN flag for reachability (c2bf473)
   1union RIGHT {
   2        double v;
   3        int ChangeMe;
   4};