let map = StringMap.empty;;
let map = StringMap.add "/hofbrowse02" (DirHof.page "bench/d.02") map;;
let map = StringMap.add "/hofbrowse04" (DirHof.page "bench/d.04") map;;
let map = StringMap.add "/hofbrowse08" (DirHof.page "bench/d.08") map;;
let map = StringMap.add "/hofbrowse16" (DirHof.page "bench/d.16") map;;
let map = StringMap.add "/hofbrowse32" (DirHof.page "bench/d.32") map;;
let map = StringMap.add "/hofbrowse64" (DirHof.page "bench/d.64") map;;
let map = StringMap.add "/unbrowse02" (DirUn.page "bench/d.02") map;;
let map = StringMap.add "/unbrowse04" (DirUn.page "bench/d.04") map;;
let map = StringMap.add "/unbrowse08" (DirUn.page "bench/d.08") map;;
let map = StringMap.add "/unbrowse16" (DirUn.page "bench/d.16") map;;
let map = StringMap.add "/unbrowse32" (DirUn.page "bench/d.32") map;;
let map = StringMap.add "/unbrowse64" (DirUn.page "bench/d.64") map;;
let map = StringMap.add "/hofpower17" (PowHof.page (Num.Int 17)) map;;
let map = StringMap.add "/hofpower127" (PowHof.page (Num.Int 127)) map;;
let map = StringMap.add "/hofpower255" (PowHof.page (Num.Int 255)) map;;
let map = StringMap.add "/hofpower511" (PowHof.page (Num.Int 511)) map;;
let map = StringMap.add "/hofpower1023" (PowHof.page (Num.Int 1023)) map;;
let map = StringMap.add "/hofpower2047" (PowHof.page (Num.Int 2047)) map;;
let map = StringMap.add "/hofpower4095" (PowHof.page (Num.Int 4095)) map;;
let map = StringMap.add "/hofpower8191" (PowHof.page (Num.Int 8191)) map;;
let map = StringMap.add "/hofpowerb17"   (PowHof2.page (Num.Int 17)) map;;
let map = StringMap.add "/hofpowerb127"  (PowHof2.page (Num.Int 127)) map;;
let map = StringMap.add "/hofpowerb255"  (PowHof2.page (Num.Int 255)) map;;
let map = StringMap.add "/hofpowerb511"  (PowHof2.page (Num.Int 511)) map;;
let map = StringMap.add "/hofpowerb1023" (PowHof2.page (Num.Int 1023)) map;;
let map = StringMap.add "/hofpowerb2047" (PowHof2.page (Num.Int 2047)) map;;
let map = StringMap.add "/hofpowerb4095" (PowHof2.page (Num.Int 4095)) map;;
let map = StringMap.add "/hofpowerb8191" (PowHof2.page (Num.Int 8191)) map;;
let map = StringMap.add "/powerun17" (PowUnstaged.page (Num.Int 17)) map;;
let map = StringMap.add "/powerun127" (PowUnstaged.page (Num.Int 127)) map;;
let map = StringMap.add "/powerun255" (PowUnstaged.page (Num.Int 255)) map;;
let map = StringMap.add "/powerun511" (PowUnstaged.page (Num.Int 511)) map;;
let map = StringMap.add "/powerun1023" (PowUnstaged.page (Num.Int 1023)) map;;
let map = StringMap.add "/powerun2047" (PowUnstaged.page (Num.Int 2047)) map;;
let map = StringMap.add "/powerun4095" (PowUnstaged.page (Num.Int 4095)) map;;
let map = StringMap.add "/powerun8191" (PowUnstaged.page (Num.Int 8191)) map;;