declarations for "remove_watch"