/diver's pocket