STATE
#define STATE xmm0 /* temporary, 128 bits */
#define STATE(_x) static struct smatch_state _x = { .name = #_x }