+
+int glutCreateMenu( void (* callback)( int menu ) ) { return 0; }
+void glutDestroyMenu( int menu ) {}
+int glutGetMenu( void ) { return 0; }
+void glutSetMenu( int menu ) {}
+void glutAddMenuEntry( const char* label, int value ) {}
+void glutAddSubMenu( const char* label, int subMenu ) {}
+void glutChangeToMenuEntry( int item, const char* label, int value ) {}
+void glutChangeToSubMenu( int item, const char* label, int value ) {}
+void glutRemoveMenuItem( int item ) {}
+void glutAttachMenu( int button ) {}
+void glutDetachMenu( int button ) {}
+
+void glutBitmapCharacter( void* font, int character ) {}
+int glutBitmapWidth( void* font, int character ) { return 0; }
+void glutStrokeCharacter( void* font, int character ) {}
+int glutStrokeWidth( void* font, int character ) { return 0; }
+int glutBitmapLength( void* font, const unsigned char* string ) { return 0; }
+int glutStrokeLength( void* font, const unsigned char* string ) { return 0; }
+
+void *glutGetMenuData( void ) { return NULL; }
+void glutSetMenuData(void* data) {}
+
+int glutBitmapHeight( void* font ) { return 0; }
+GLfloat glutStrokeHeight( void* font ) { return 0; }
+void glutBitmapString( void* font, const unsigned char *string ) {}
+void glutStrokeString( void* font, const unsigned char *string ) {}