smp_assert
extern int smp_assert(const char *, const char *, int);
#define VERIFY(x) ((void)((x) || smp_assert(#x, __FILE__, __LINE__)))