// Jumper.pj
personality Jumper
{
  void Jump(int x, int y, int alt) {
    if ( CheckDistance(x, y) ) {
      SprintTo( x, y );
      LiftOff( alt );
      Land();
    }
  }
  di boolean CheckDistance(int x, int y);
  di void SprintTo(int x, int y);
  di void LiftOff(int alt);
  di void Land();
}