//  /*-------------------------------------------------------------------*\
//  |   Concrete Instance : Natural_Power_2
//  \*-------------------------------------------------------------------*/

#ifndef CI_NATURAL_POWER_2
#define CI_NATURAL_POWER_2 1

///------------------------------------------------------------------------
/// Global Context --------------------------------------------------------
///------------------------------------------------------------------------

#include "CI/Natural/Number_1_C.h"
#include "AI/Natural/Power.h"
  
///------------------------------------------------------------------------
/// Interface -------------------------------------------------------------
///------------------------------------------------------------------------

concrete_instance
class Natural_Power_2 :
    extends
	concrete_instance Natural_Number_1_C,
    implements
	abstract_instance Natural_Power
{
public:

    procedure_body Power (
	    preserves Integer p
	)
    {
	//-------- for students to fill in --------
    }


};

#endif // CI_NATURAL_POWER_2