Was there a high dive at your local pool? And how many feet deep was it?

The pool at the diving end was 16ft deep, sloping back to about 4ft at the other end.