flush_user_windows
void flush_user_windows(void);
({ flush_user_windows(); \
({ flush_user_windows(); \
flush_user_windows();
flush_user_windows();
flush_user_windows();
flush_user_windows();
flush_user_windows();
flush_user_windows();
flush_user_windows();
flush_user_windows();
flush_user_windows();
flush_user_windows();
flush_user_windows();
flush_user_windows();
flush_user_windows();
flush_user_windows();