- ((void) verify_true (sizeof (*(POINTER)) == 1), \
- (void) (sizeof (*(POINTER) + 1)), \
- (void) verify_true (sizeof (*(TYPE) NULL) == 1), \
- (void) (sizeof (*(TYPE) NULL + 1)), \
- (TYPE) (POINTER))
+ ((void) verify_expr (sizeof (*(POINTER)) == 1, 1), \
+ (void) (sizeof (*(POINTER) + 1)), \
+ (void) verify_expr (sizeof (*(TYPE) NULL) == 1, 1), \
+ (void) (sizeof (*(TYPE) NULL + 1)), \
+ (TYPE) (POINTER))