signature CCROSS = sig
  structure P: CPP 
  structure ExnHandler: EXN_HANDLER
end