ns = @names c32le { @0x0 unsigned long long x; }; dom = mkdom(ns,mknas()); printf("%d\n", sizeof(dom`x)); printf("%d\n", sizeof((int*)dom`x));