signature CCROSS = sig
  structure D: DRIVER
  structure ExnHandler: EXN_HANDLER
end