structure CoreReplVARS =
struct

   val linewidth = PolyML.Compiler.lineLength

end;