"exception" header file

[papadopo at shfj dot cea dot fr (Dimitri PAPADOPOULOS-ORFANOS)]

>From gcc-2.8.0 to egcs-1.0.3a, lines 32 and 34 of the header file
"exception" declare the functions 'terminate' and 'unexpected' with
a 'void' argument, following the C syntax instead of the C++ syntax:
	void terminate (void);
	void unexpected (void);

1) Is the 'void' argument still legal in C++? Does anyone know where
   I can find this information, either in the draft ISO standard or
   in Stroustrup's book?
2) I wish these void arguments could be removed.
   Indeed, we strive to use use Parasoft's Insure++ run-time error
   detection software. It seems Parasoft's C++ parser reinterprets
   'terminate' and 'unexpected' to have C linkage - even though they
   are guarded by
   	extern "C++" {
   	// [...]
   	} // extern "C++"
   Code that includes "exception" couldn't be instrumented.
   We had to modify our "exception" header file to use Insure++.