Index: src/Validate/Autogen.cpp
===================================================================
--- src/Validate/Autogen.cpp	(revision 8b4faf639e449fe289d559f0202fd6e97f96d2d3)
+++ src/Validate/Autogen.cpp	(revision 59c8dff49bbb5284b39ab27da894a644327a531a)
@@ -186,7 +186,12 @@
 		// could possibly use a new linkage type. For now we just make the
 		// basic ones intrinsic to code-gen them as C assignments.
-		const auto & real_type = decl->base;
-		const auto & basic = real_type.as<ast::BasicType>();
-		if(!real_type || (basic && basic->isInteger())) proto_linkage = ast::Linkage::Intrinsic;
+		// const auto & real_type = decl->base;
+		// const auto & basic = real_type.as<ast::BasicType>();
+
+		// if(!real_type || (basic && basic->isInteger())) proto_linkage = ast::Linkage::Intrinsic;
+
+		// Turns other enumeration type into Intrinstic as well to temporarily fix the recursive 
+		// construction bug
+		proto_linkage = ast::Linkage::Intrinsic;
 	}
 
@@ -742,4 +747,8 @@
 			}
 		);
+		// auto fname = ast::getFunctionName( callExpr );
+		// if (fname == "posE" ) {
+		// 	std::cerr << "Found posE autogen" << std::endl;
+		// }
 		functionDecl->stmts = new ast::CompoundStmt( location,
 			{ new ast::ExprStmt( location, callExpr ) }
@@ -792,8 +801,60 @@
 }
 
+struct PseudoFuncGenerateRoutine final :
+		public ast::WithDeclsToAdd<>,
+		public ast::WithShortCircuiting {
+	void previsit( const ast::EnumDecl * enumDecl );
+};
+
+void PseudoFuncGenerateRoutine::previsit( const ast::EnumDecl * enumDecl ) {
+	const CodeLocation& location = enumDecl->location;
+	if ( enumDecl->members.size() == 0 || !enumDecl->base || enumDecl->name == "" ) return;
+
+	std::vector<ast::ptr<ast::Init>> inits;
+	std::vector<ast::ptr<ast::Init>> labels;
+	for ( const ast::Decl * mem: enumDecl->members ) {
+		auto memAsObjectDecl = dynamic_cast< const ast::ObjectDecl * >( mem );
+		inits.emplace_back( memAsObjectDecl->init );
+		labels.emplace_back( new ast::SingleInit( 
+			location, ast::ConstantExpr::from_string(location, mem->name) ) );
+	}
+	auto init = new ast::ListInit( location, std::move( inits ) );
+	auto label_strings = new ast::ListInit( location, std::move(labels) );
+	auto values = new ast::ObjectDecl( 
+		location,
+		"__enum_values_"+enumDecl->name,
+		new ast::ArrayType(
+			// new ast::PointerType( new ast::BasicType{ ast::BasicType::Char} ),
+			enumDecl->base,
+			ast::ConstantExpr::from_int( location, enumDecl->members.size() ), 
+			ast::LengthFlag::FixedLen, ast::DimensionFlag::DynamicDim
+		)
+		,init
+		,
+		ast::Storage::Static,
+		ast::Linkage::AutoGen
+	);
+	auto label_arr = new ast::ObjectDecl(
+		location,
+		"__enum_labels_"+enumDecl->name,
+		new ast::ArrayType(
+			new ast::PointerType( new ast::BasicType{ ast::BasicType::Char} ),
+			ast::ConstantExpr::from_int( location, enumDecl->members.size() ), 
+			ast::LengthFlag::FixedLen, ast::DimensionFlag::DynamicDim
+		),
+		label_strings,
+		ast::Storage::Static,
+		ast::Linkage::AutoGen
+	);
+
+	declsToAddAfter.push_back( values );
+	declsToAddAfter.push_back( label_arr );
+}
+
 } // namespace
 
 void autogenerateRoutines( ast::TranslationUnit & translationUnit ) {
 	ast::Pass<AutogenerateRoutines>::run( translationUnit );
+	// ast::Pass<PseudoFuncGenerateRoutine>::run( translationUnit );
 }
 
Index: src/Validate/module.mk
===================================================================
--- src/Validate/module.mk	(revision 8b4faf639e449fe289d559f0202fd6e97f96d2d3)
+++ src/Validate/module.mk	(revision 59c8dff49bbb5284b39ab27da894a644327a531a)
@@ -52,5 +52,7 @@
 	Validate/ReturnCheck.hpp \
 	Validate/VerifyCtorDtorAssign.cpp \
-	Validate/VerifyCtorDtorAssign.hpp
+	Validate/VerifyCtorDtorAssign.hpp \
+	Validate/ReplacePseudoFunc.cpp \
+	Validate/ReplacePseudoFunc.hpp
 
 SRCDEMANGLE += $(SRC_VALIDATE)