--- /dev/null
+// ----------------------------------------------------------------------------
+// $Id$
+// ----------------------------------------------------------------------------
+// Public Domain C Library - http://pdclib.sourceforge.net
+// This code is Public Domain. Use, modify, and redistribute at will.
+// ----------------------------------------------------------------------------
+
+void _Exit( int status ) { /* TODO */ };
+void exit( int status ) { /* TODO */ };
+void abort( void ) { /* TODO */ };
+char * getenv( const char * name ) { /* TODO */ };
+int system( const char * s ) { /* TODO */ };
+
+// TODO: C/C++ linkages
+int atexit( void (*func) ( void ) ) { /* TODO */ };