// Swimmer.java [dynamic]

interface Swimmer

{

  public void Swim(int miles, int depth);

  void JumpInTheWater();

  void Submerge();

  void MoveFin();

  void Rise();

  void JumpOutOfTheWater();

}