Index: src/SymTab/Demangle.cc
===================================================================
--- src/SymTab/Demangle.cc	(revision 09867ec142e286bf62a9931b33bc4405e86de912)
+++ src/SymTab/Demangle.cc	(revision a00bc5b670e302caf7b7a128c32475c702fd7890)
@@ -10,6 +10,6 @@
 // Created On       : Thu Jul 19 12:52:41 2018
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Feb 11 15:09:18 2020
-// Update Count     : 10
+// Last Modified On : Mon Jan 11 21:28:27 2021
+// Update Count     : 11
 //
 
@@ -367,5 +367,5 @@
 				// type variable types
 				for (size_t k = 0; k < TypeDecl::NUMBER_OF_KINDS; ++k) {
-					static const std::string typeVariableNames[] = { "DT", "OT", "FT", "TT", };
+					static const std::string typeVariableNames[] = { "DT", "DST", "OT", "FT", "TT", "ALT", };
 					static_assert(
 						sizeof(typeVariableNames)/sizeof(typeVariableNames[0]) == TypeDecl::NUMBER_OF_KINDS,
Index: src/SymTab/Mangler.cc
===================================================================
--- src/SymTab/Mangler.cc	(revision 09867ec142e286bf62a9931b33bc4405e86de912)
+++ src/SymTab/Mangler.cc	(revision a00bc5b670e302caf7b7a128c32475c702fd7890)
@@ -10,6 +10,6 @@
 // Created On       : Sun May 17 21:40:29 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Nov 18 12:01:38 2020
-// Update Count     : 64
+// Last Modified On : Mon Jan 11 21:56:06 2021
+// Update Count     : 74
 //
 #include "Mangler.h"
@@ -313,5 +313,5 @@
 				// and the case has not yet come up in practice. Alternatively, if not then this code can be removed
 				// aside from the assert false.
-				assertf(false, "Mangler_old should not visit typedecl: %s", toCString(decl));
+				assertf( false, "Mangler_old should not visit typedecl: %s", toCString(decl));
 				assertf( decl->kind < TypeDecl::NUMBER_OF_KINDS, "Unhandled type variable kind: %d", decl->kind );
 				mangleName += Encoding::typeVariables[ decl->kind ] + std::to_string( decl->name.length() ) + decl->name;
@@ -343,5 +343,5 @@
 							break;
 						  default:
-							assert( false );
+							assertf( false, "unimplemented kind for type variable %s", SymTab::Mangler::Encoding::typeVariables[i->kind].c_str() );
 						} // switch
 						varNums[ i->name ] = std::make_pair( nextVarNum, (int)i->kind );
@@ -673,15 +673,15 @@
 					for ( auto & decl : ptype->forall ) {
 						switch ( decl->kind ) {
-						case ast::TypeDecl::Kind::Dtype:
+						  case ast::TypeDecl::Kind::Dtype:
 							dcount++;
 							break;
-						case ast::TypeDecl::Kind::Ftype:
+						  case ast::TypeDecl::Kind::Ftype:
 							fcount++;
 							break;
-						case ast::TypeDecl::Kind::Ttype:
+						  case ast::TypeDecl::Kind::Ttype:
 							vcount++;
 							break;
-						default:
-							assert( false );
+						  default:
+							assertf( false, "unimplemented kind for type variable %s", SymTab::Mangler::Encoding::typeVariables[decl->kind].c_str() );
 						} // switch
 						varNums[ decl->name ] = std::make_pair( nextVarNum, (int)decl->kind );
Index: src/SymTab/ManglerCommon.cc
===================================================================
--- src/SymTab/ManglerCommon.cc	(revision 09867ec142e286bf62a9931b33bc4405e86de912)
+++ src/SymTab/ManglerCommon.cc	(revision a00bc5b670e302caf7b7a128c32475c702fd7890)
@@ -10,6 +10,6 @@
 // Created On       : Sun May 17 21:44:03 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Dec 13 14:54:38 2019
-// Update Count     : 28
+// Last Modified On : Mon Jan 11 21:23:10 2021
+// Update Count     : 29
 //
 
@@ -104,10 +104,12 @@
 			const std::string typeVariables[] = {
 				"BD", // dtype
+				"BDS", // dtype + sized
 				"BO", // otype
 				"BF", // ftype
 				"BT", // ttype
+				"BAL", // array length type
 			};
 			static_assert(
-				sizeof(typeVariables)/sizeof(typeVariables[0]) == TypeDecl::NUMBER_OF_KINDS,
+				sizeof(typeVariables) / sizeof(typeVariables[0]) == TypeDecl::NUMBER_OF_KINDS,
 				"Each type variable kind should have a corresponding mangler prefix"
 			);