/**
 * An interface for anything that flies.  Altitude may or may not be altered by
 * flying.
 */
interface Flyer {
  void fly();

  int getAltitude();
}