source: CIVL/mods/dev.civl.com/examples/library/pointer/incompatiblePointerTranslation_dir/incompatiblePointerTranslationComplexFix.cvl@ 8553be8

#include <pointer.cvh>

int main() {
  struct _3int {
    int x;
    union _2int {
      int a;
      int b;
    } y;
  } c1, c2;

  int * p = &c1.y.a;
  int * q = $translate_ptr(p, &c2);
  
  return *p;
}