/*	Public domain	*/

__BEGIN_DECLS
int	ES_CircuitExportSPICE3(ES_Circuit *, const char *);
__END_DECLS