structure ccross:> CCROSS = struct
  structure T:> TOKENIZER =
    Tokenizer(structure H = Hashtable; structure S = Stream)

  structure ppc:> PPC = ppc(structure Tree = Tree; structure T = T)

  structure D:> DRIVER = Driver(ppc)

  structure ExnHandler:> EXN_HANDLER =
    ExnHandler(structure T = T; structure P = ppc)
end

val () = MLton.Exn.setTopLevelHandler ccross.ExnHandler.handler
val () = ccross.D.exec ()