<> <> <> <<>> <> <<>> DIRECTORY FS, IO, Rope, OracleGen; Gen2Impl: CEDAR PROGRAM IMPORTS FS, IO, OracleGen ~ BEGIN OPEN OracleGen; outf: IO.STREAM; k : INT; s,r,t: Rope.ROPE; <> r _ "Gen.oracle"; outf _ FS.StreamOpen[r, $create]; outf.PutF["-- Begining of the text : \n"]; FOR k IN [0..128) DO s _ BinExt[k,7]; s _ Expand[s,1]; t _ BinExt[127-k,7]; t _ Expand[t,1]; outf.PutF["%g | %g \n",IO.rope[s],IO.rope[t]]; ENDLOOP; outf.Close[]; END.