// invalidate any other reasons why the executable file might be covered by
// the GNU General Public License.
+/** @file os_defines.h
+ * This is an internal header file, included by other library headers.
+ * You should not attempt to use it directly.
+ */
#ifndef _GLIBCXX_OS_DEFINES
# define _GLIBCXX_OS_DEFINES