Index: src/InitTweak/InitTweak.cc
===================================================================
--- src/InitTweak/InitTweak.cc	(revision aff7e862f837ed8e7b405341103d8c3a6aa5a387)
+++ src/InitTweak/InitTweak.cc	(revision f558b5f776427c8e5d02d7affb6784f4bfc6082b)
@@ -10,6 +10,6 @@
 // Created On       : Fri May 13 11:26:36 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Dec 13 23:15:52 2019
-// Update Count     : 8
+// Last Modified On : Wed Jun 16 16:40:24 2021
+// Update Count     : 10
 //
 
@@ -1217,5 +1217,9 @@
 	void addDataSectonAttribute( ObjectDecl * objDecl ) {
 		objDecl->attributes.push_back(new Attribute("section", {
+#if defined( __x86_64 ) || defined( __i386 )
 			new ConstantExpr( Constant::from_string(".data#") ),
+#else // defined( __ARM_ARCH )
+			new ConstantExpr( Constant::from_string(".data//") ),
+#endif
 		}));
 	}
@@ -1223,5 +1227,9 @@
 	void addDataSectionAttribute( ast::ObjectDecl * objDecl ) {
 		objDecl->attributes.push_back(new ast::Attribute("section", {
+#if defined( __x86_64 ) || defined( __i386 )
 			ast::ConstantExpr::from_string(objDecl->location, ".data#"),
+#else // defined( __ARM_ARCH )
+			ast::ConstantExpr::from_string(objDecl->location, ".data//"),
+#endif
 		}));
 	}