diff -r 1e4eb0d48385 -r 59d58f5e6caa stage4/generate_c/generate_c_base.cc
--- a/stage4/generate_c/generate_c_base.cc	Mon Dec 15 17:23:48 2008 +0100
+++ b/stage4/generate_c/generate_c_base.cc	Fri Dec 19 15:09:29 2008 +0100
@@ -87,6 +87,7 @@
     ~generate_c_base_c(void) {}
 
     void set_variable_prefix(const char *variable_prefix) {variable_prefix_ = variable_prefix;}
+    const char *get_variable_prefix(void) {return variable_prefix_;}
     bool is_variable_prefix_null(void) {return variable_prefix_ == NULL;}
     void print_variable_prefix(void) {
       if (variable_prefix_ != NULL)