refresh_data
extern boolean_t refresh_data(void);
(void) refresh_data(); \
if (__result == (b) && refresh_data()) \