#include <sys/types.h>
#include <stdio.h>
#include <stdlib.h>

#include "printpower.rts.h"
#include "printpower.h"

main(int argc, char **argv)
{
  int (*spec)(int);
  
  if ( argc==3 )
  {
    int x = atoi(argv[1]);
    int n = atoi(argv[2]);

    goal(x,n);

    spec = (int (*)(int))rts_goal_1(n);
    (*spec)(x);
  }
  else
  {
    spec = (int (*)(int))rts_goal_1(0);
    printf(">>> power(5,0) = %i\n", power(5,0));
    (*spec)(5);

    spec = (int (*)(int))rts_goal_1(1);
    printf(">>> power(5,1) = %i\n", power(5,1));
    (*spec)(5);

    spec = (int (*)(int))rts_goal_1(2);
    printf(">>> power(5,2) = %i\n", power(5,2));
    (*spec)(5);

    spec = (int (*)(int))rts_goal_1(10);
    printf(">>> power(5,10) = %i\n", power(5,10));
    (*spec)(5);
  }
}