s2
typedef struct smatch_state *(merge_func_t)(struct smatch_state *s1, struct smatch_state *s2);
struct s2 {
