--- glkloader-0.3.2/glk.h~	2007-12-17 23:17:39.000000000 +0000
+++ glkloader-0.3.2/glk.h	2007-12-17 23:18:25.000000000 +0000
@@ -347,4 +347,40 @@
 
 #endif /* GLK_MODULE_HYPERLINKS */
 
+/* XXX non-official Glk functions that may or may not exist */
+
+#define GARGLK 1
+
+extern char* garglk_fileref_get_name(frefid_t fref);
+
+extern void garglk_set_program_name(const char *name);
+extern void garglk_set_program_info(const char *info);
+extern void garglk_set_story_name(const char *name);
+extern void garglk_set_config(const char *name);
+
+/* not implemented */
+
+#define garglk_font_Roman (0)
+#define garglk_font_Italic (1)
+#define garglk_font_Bold (2)
+#define garglk_font_BoldItalic (3)
+#define garglk_font_MonoRoman (4)
+#define garglk_font_MonoItalic (5)
+#define garglk_font_MonoBold (6)
+#define garglk_font_MonoBoldItalic (7)
+
+#define garglk_color_White             (0)
+#define garglk_color_Red               (1)
+#define garglk_color_Green             (2)
+#define garglk_color_Blue              (3)
+#define garglk_color_Cyan              (4)
+#define garglk_color_Magenta   (5)
+#define garglk_color_Yellow            (6)
+#define garglk_color_Black             (7)
+
+extern void garglk_set_style_font(glui32 font);
+extern void garglk_set_style_stream_font(strid_t str, glui32 font);
+extern void garglk_set_style_color(glui32 bg, glui32 fg);
+extern void garglk_set_style_stream_color(strid_t str, glui32 bg, glui32 fg);
+
 #endif /* GLK_H */
--- glkloader-0.3.2/generate_glkfuncs.pl~	2007-12-17 23:36:33.000000000 +0000
+++ glkloader-0.3.2/generate_glkfuncs.pl	2007-12-17 23:37:26.000000000 +0000
@@ -190,7 +190,7 @@
       {
          $type .= $arg;
 
-         if ($arg eq "unsigned")
+         if ($arg eq "unsigned" || $arg eq "const")
          {
             $type .= " ";
             next;