leak-detecting machine