1signature POWERS2  =
2sig
3  val two6  :  int
4  val two7  :  int
5  val two8  :  int
6  val two15 :  int
7  val two16 :  int
8  val two23 :  int
9  val two24 :  int
10  val two29 :  int
11end  (* signature POWERS2 *)
12(*----------*)
13
14structure Powers2: POWERS2  =
15struct
16  val two6   =   64
17  val two7   =  128
18  val two8   =  256
19  val two15  =  two7 * two8
20  val two16  =  two8 * two8
21  val two23  =  two7 * two16
22  val two24  =  two8 * two16
23  val two29  =  two6 * two23
24end  (* structure Powers2 *)
25