guest_vals
static struct guest_vals vals;
vals = (struct guest_vals){ (u64)a, (u64)b, TYPE_##ext }; \