CHECK
CHECK, /* i: waiting for 32-bit check value */
#define CHECK(x) assert(x)
#define CHECK(x) \
#define CHECK(a) do { \
#define CHECK(a) do { \
#define CHECK(x) assert((x))
#define CHECK(a) assert(a)
#define CHECK(kind, cmd, val, senst, sens) { \
CHECK, /* i: waiting for 32-bit check value */
#define CHECK(op) \
#define CHECK(s) \
CHECK,