--- /dev/null
+// ----------------------------------------------------------------------------
+// $Id$
+// ----------------------------------------------------------------------------
+// Public Domain C Library - http://pdclib.sourceforge.net
+// This code is Public Domain. Use, modify, and redistribute at will.
+// ----------------------------------------------------------------------------
+
+// ----------------------------------------------------------------------------
+// C++
+
+bool isfinite( float x ) { /* TODO */ };
+bool isfinite( double x ) { /* TODO */ };
+bool isfinite( long double x ) { /* TODO */ };