Index: libcfa/prelude/prelude-gen.cc
===================================================================
--- libcfa/prelude/prelude-gen.cc	(revision 45553f5a181438d3581be848d0bb8ade23764f30)
+++ libcfa/prelude/prelude-gen.cc	(revision 88771d7ade4425a7d78fc1f20e4268844149d953)
@@ -10,6 +10,6 @@
 // Created On       : Sat Feb 16 08:44:58 2019
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Mar  5 19:10:06 2025
-// Update Count     : 61
+// Last Modified On : Mon Mar 10 17:30:48 2025
+// Update Count     : 65
 //
 
@@ -419,5 +419,4 @@
 	}
 	cout << endl;
-	printf( "struct __builtin__Float32x4_t__ {};\n" );
 }
 
Index: libcfa/prelude/prototypes.awk
===================================================================
--- libcfa/prelude/prototypes.awk	(revision 45553f5a181438d3581be848d0bb8ade23764f30)
+++ libcfa/prelude/prototypes.awk	(revision 88771d7ade4425a7d78fc1f20e4268844149d953)
@@ -10,6 +10,6 @@
 # Created On       : Sat May 16 07:57:37 2015
 # Last Modified By : Peter A. Buhr
-# Last Modified On : Wed Mar  5 19:11:56 2025
-# Update Count     : 69
+# Last Modified On : Mon Mar 10 17:52:39 2025
+# Update Count     : 73
 #
 
@@ -160,5 +160,12 @@
 	printf( "double _Complex __builtin_complex( double, double );\n" );
 	printf( "long double _Complex __builtin_complex( long double, long double );\n" );
-	#printf( "struct __builtin__Float32x4_t__ {};\n" );
+
+	# assorted gcc builltin types
+	# ARM vector floating-point types, strip off text "__builtin.*__"
+	printf( "struct __builtin__Float32x4_t__ {};\n" );
+	printf( "struct __builtin__Float64x2_t__ {};\n" );
+	printf( "struct __builtin__SVFloat32_t__ {};\n" );
+	printf( "struct __builtin__SVFloat64_t__ {};\n" );
+	printf( "struct __builtin__SVBool_t__ {};\n" );
 } # END
 
Index: src/BasicTypes-gen.cpp
===================================================================
--- src/BasicTypes-gen.cpp	(revision 45553f5a181438d3581be848d0bb8ade23764f30)
+++ src/BasicTypes-gen.cpp	(revision 88771d7ade4425a7d78fc1f20e4268844149d953)
@@ -53,10 +53,4 @@
 	Float128xComplex,
 	NUMBER_OF_BASIC_TYPES,
-
-	Float32x4,											// ARM, gcc-14
-	Float64x2,
-	Svfloat32,
-	Svfloat64,
-	Svbool,
 };