diff --git a/regression/ansi-c/arch_flags_mcpu_bad/object.intel b/regression/ansi-c/arch_flags_mcpu_bad/object.intel
index 12933c39767..d83ebfea18f 100644
Binary files a/regression/ansi-c/arch_flags_mcpu_bad/object.intel and b/regression/ansi-c/arch_flags_mcpu_bad/object.intel differ
diff --git a/regression/ansi-c/arch_flags_mcpu_good/object.arm b/regression/ansi-c/arch_flags_mcpu_good/object.arm
index 5a6ae1e2c48..d43741cc74c 100644
Binary files a/regression/ansi-c/arch_flags_mcpu_good/object.arm and b/regression/ansi-c/arch_flags_mcpu_good/object.arm differ
diff --git a/regression/ansi-c/arch_flags_mthumb_bad/object.intel b/regression/ansi-c/arch_flags_mthumb_bad/object.intel
index 7cb7e011e3f..c874657fb03 100644
Binary files a/regression/ansi-c/arch_flags_mthumb_bad/object.intel and b/regression/ansi-c/arch_flags_mthumb_bad/object.intel differ
diff --git a/regression/ansi-c/arch_flags_mthumb_good/object.arm b/regression/ansi-c/arch_flags_mthumb_good/object.arm
index d7dd5b25c97..9ab26ec2853 100644
Binary files a/regression/ansi-c/arch_flags_mthumb_good/object.arm and b/regression/ansi-c/arch_flags_mthumb_good/object.arm differ
diff --git a/src/ansi-c/expr2c.cpp b/src/ansi-c/expr2c.cpp
index dcf84fcfdde..74cd1c4ab67 100644
--- a/src/ansi-c/expr2c.cpp
+++ b/src/ansi-c/expr2c.cpp
@@ -1564,13 +1564,13 @@ std::string expr2ct::convert_member(
 
   if(!component_name.empty())
   {
-    const exprt &comp_expr = struct_union_type.get_component(component_name);
+    const auto &comp_expr = struct_union_type.get_component(component_name);
 
     if(comp_expr.is_nil())
       return convert_norep(src, precedence);
 
-    if(!comp_expr.get(ID_pretty_name).empty())
-      dest+=comp_expr.get_string(ID_pretty_name);
+    if(!comp_expr.get_pretty_name().empty())
+      dest += id2string(comp_expr.get_pretty_name());
     else
       dest+=id2string(component_name);
 
@@ -1582,9 +1582,12 @@ std::string expr2ct::convert_member(
   if(n>=struct_union_type.components().size())
     return convert_norep(src, precedence);
 
-  const exprt &comp_expr = struct_union_type.components()[n];
+  const auto &comp_expr = struct_union_type.components()[n];
 
-  dest+=comp_expr.get_string(ID_pretty_name);
+  if(!comp_expr.get_pretty_name().empty())
+    dest += id2string(comp_expr.get_pretty_name());
+  else
+    dest += id2string(comp_expr.get_name());
 
   return dest;
 }
diff --git a/src/cpp/expr2cpp.cpp b/src/cpp/expr2cpp.cpp
index e63708c6a30..0b6265aee1d 100644
--- a/src/cpp/expr2cpp.cpp
+++ b/src/cpp/expr2cpp.cpp
@@ -96,7 +96,10 @@ std::string expr2cppt::convert_struct(
 
       dest+=sep;
       dest+='.';
-      dest += c.get_string(ID_pretty_name);
+      if(!c.get_pretty_name().empty())
+        dest += id2string(c.get_pretty_name());
+      else
+        dest += id2string(c.get_name());
       dest+='=';
       dest+=tmp;
     }
diff --git a/src/goto-instrument/alignment_checks.cpp b/src/goto-instrument/alignment_checks.cpp
index 0d5e1a5468d..ff1d63f9d3e 100644
--- a/src/goto-instrument/alignment_checks.cpp
+++ b/src/goto-instrument/alignment_checks.cpp
@@ -81,8 +81,8 @@ void print_struct_alignment_problems(
                   << symbol_pair.second.location << '\n';
             }
 
-            out << "members " << it_mem->get_pretty_name() << " and "
-                << it_next->get_pretty_name() << " might interfere\n";
+            out << "members " << it_mem->get_name() << " and "
+                << it_next->get_name() << " might interfere\n";
           }
         }
       }
diff --git a/src/goto-programs/write_goto_binary.h b/src/goto-programs/write_goto_binary.h
index d0f61c5eccf..416c21a281c 100644
--- a/src/goto-programs/write_goto_binary.h
+++ b/src/goto-programs/write_goto_binary.h
@@ -12,7 +12,7 @@ Author: CM Wintersteiger
 #ifndef CPROVER_GOTO_PROGRAMS_WRITE_GOTO_BINARY_H
 #define CPROVER_GOTO_PROGRAMS_WRITE_GOTO_BINARY_H
 
-#define GOTO_BINARY_VERSION 5
+#define GOTO_BINARY_VERSION 6
 
 #include <iosfwd>
 #include <string>
diff --git a/src/util/irep_ids.def b/src/util/irep_ids.def
index a2826a9cea6..b304d6edb18 100644
--- a/src/util/irep_ids.def
+++ b/src/util/irep_ids.def
@@ -353,7 +353,7 @@ IREP_ID_TWO(mult, *)
 IREP_ID_TWO(div, /)
 IREP_ID_TWO(power, **)
 IREP_ID_ONE(factorial_power)
-IREP_ID_ONE(pretty_name)
+IREP_ID_TWO(C_pretty_name, #pretty_name)
 IREP_ID_TWO(C_class, #class)
 IREP_ID_TWO(C_field, #field)
 IREP_ID_TWO(C_interface, #interface)
diff --git a/src/util/std_types.h b/src/util/std_types.h
index acc03e9e703..8c25724efff 100644
--- a/src/util/std_types.h
+++ b/src/util/std_types.h
@@ -88,12 +88,12 @@ class struct_union_typet:public typet
 
     const irep_idt &get_base_name() const
     {
-      return get(ID_base_name);
+      return get(ID_C_base_name);
     }
 
     void set_base_name(const irep_idt &base_name)
     {
-      return set(ID_base_name, base_name);
+      return set(ID_C_base_name, base_name);
     }
 
     const irep_idt &get_access() const
@@ -108,12 +108,12 @@ class struct_union_typet:public typet
 
     const irep_idt &get_pretty_name() const
     {
-      return get(ID_pretty_name);
+      return get(ID_C_pretty_name);
     }
 
     void set_pretty_name(const irep_idt &name)
     {
-      return set(ID_pretty_name, name);
+      return set(ID_C_pretty_name, name);
     }
 
     bool get_anonymous() const