verify 105 lib/mktime.c #define verify(name, assertion) struct name { char a[(assertion) ? 1 : -1]; } verify 139 lib/verify.h # define verify(R) extern int (* verify_function__ (void)) [verify_true (R)]