verify_watcher
verify_watcher (EV_A_ (W)ANHE_w (heap [i]));
verify_watcher (EV_A_ ws [cnt]);
verify_watcher (EV_A_ (W)w);