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