func Fibs(x:int) -> int :=
	  x = 0 -> 0;
	| x = 1 -> 1;
	| otherwise -> Fibs(x-1) + Fibs(x-2);

func Pow(x:int, r:int) -> int :=
	  r = 0 -> 1;
	| otherwise -> x*Pow(x, r-1);