--- a/stage4/generate_cc/generate_cc_st.cc	Fri May 11 16:29:22 2007 +0200
+++ b/stage4/generate_cc/generate_cc_st.cc	Mon May 14 09:48:25 2007 +0200
@@ -131,7 +131,7 @@
 /*********************/
 void *visit(symbolic_variable_c *symbol) {
   unsigned int vartype = search_varfb_instance_type->get_vartype(symbol);
-  if (vartype == search_var_instance_decl_c::external_vt) {
+  if (vartype == search_var_instance_decl_c::external_vt || vartype == search_var_instance_decl_c::located_vt) {
     s4o.print("*(");
     generate_cc_base_c::visit(symbol);
     s4o.print(")");