Factor out verify_services.h