double bob(double); int counter();