open Num (* for arbitrary-precision arithmetic *)
  let width = 54
  let rec wrap puts s =  (* wrap `s' into a fixed-width block *)
    if String.length s <= width then puts s else
      (puts (Str.string_before s width); puts "\n";
       wrap puts (Str.string_after s width))
  let is_zero = eq_num (Int 0)
  let square x = (let z = x in z */ z)

  let rec power n x =  (* staged power function *)
    if is_zero n then (Int 1) else
    if is_zero (mod_num n (Int 2)) then square(power (n//Int 2) x)
    else ( x */ (power (n -/ Int 1) x)) 

let one = Int 1
let two = Int 2

  let rec power n x = 
    if is_zero n then Int 1
    else if is_zero (mod_num n (Int 2))
      then square(power (n//Int 2) x)
      else x */ (power (n -/ Int 1) x)

let page  y  = 
(fun req puts ->
let arg = Request.arg req in
let y' = (( string_of_num y )) in
let x' = match (arg "x") with Some v -> v | None -> "2"  in 
puts (Navspec.preamble(x'^"^"^y')   (* Output begins here *) );
puts (Navspec.navbar("/power"^string_of_num y));
puts "<form method='get'> This page computes \n  <input name='x' type='text' value='";
puts (x');
puts "' size='20'/>\n  <sup>";
puts (y');
puts "</sup> </form>\n";
let result = ( power y (num_of_string x') ) in
puts "<p>The result is: \n<pre>";
wrap puts (string_of_num result) ;
puts "</pre></p>\n";
puts Navspec.postamble;
)