Index: libcfa/prelude/prelude-gen.cc
===================================================================
--- libcfa/prelude/prelude-gen.cc	(revision ee8f72dd8b2ecc7a43d3a3fe98dbd7931d8f768e)
+++ libcfa/prelude/prelude-gen.cc	(revision a21aaff5ca37cddc33fe13bba97ba6f4d7b0e9a8)
@@ -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 ee8f72dd8b2ecc7a43d3a3fe98dbd7931d8f768e)
+++ libcfa/prelude/prototypes.awk	(revision a21aaff5ca37cddc33fe13bba97ba6f4d7b0e9a8)
@@ -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