diff --git a/examples/naive/armv7m/basemul_acc_32_16_kyber.s b/examples/naive/armv7m/basemul_acc_32_16_kyber.s
index fb061eb..f4b5b76 100644
--- a/examples/naive/armv7m/basemul_acc_32_16_kyber.s
+++ b/examples/naive/armv7m/basemul_acc_32_16_kyber.s
@@ -57,7 +57,7 @@ basemul_asm_acc_opt_32_16:
     smladx res1, poly0, poly1, res1
     plant_red q, qa, qinv, res1
 
-    pkhtb res0, res1, res0, asr#16
+    pkhtb res0, res1, res0, asr #16
     str res0, [rptr], #4
 
     ldr poly0, [aptr], #4
@@ -72,7 +72,7 @@ basemul_asm_acc_opt_32_16:
     smladx res1, poly0, poly1, res1
     plant_red q, qa, qinv, res1
 
-    pkhtb res0, res1, res0, asr#16
+    pkhtb res0, res1, res0, asr #16
     str res0, [rptr], #4
 
     subs.w loop, #1
diff --git a/examples/naive/armv7m/frombytes_mul_acc_32_16_kyber.s b/examples/naive/armv7m/frombytes_mul_acc_32_16_kyber.s
index cd0e855..f3aa174 100644
--- a/examples/naive/armv7m/frombytes_mul_acc_32_16_kyber.s
+++ b/examples/naive/armv7m/frombytes_mul_acc_32_16_kyber.s
@@ -20,7 +20,7 @@
   smladx \res0, \poly0, \poly1, \res0
   plant_red \q, \qa, \qinv, \res0
 
-  pkhtb \res0, \res0, \tmp, asr#16
+  pkhtb \res0, \res0, \tmp, asr #16
   str \res0, [\rptr], #4
 
   neg \zeta, \zeta
@@ -38,7 +38,7 @@
   smladx \res0, \poly0, \poly3, \res0
   plant_red \q, \qa, \qinv, \res0
 
-  pkhtb \res0, \res0, \tmp, asr#16
+  pkhtb \res0, \res0, \tmp, asr #16
   str \res0, [\rptr], #4
 .endm 
 
diff --git a/examples/naive/armv7m/intt_769_dilithium.s b/examples/naive/armv7m/intt_769_dilithium.s
index 83f0259..bff1457 100644
--- a/examples/naive/armv7m/intt_769_dilithium.s
+++ b/examples/naive/armv7m/intt_769_dilithium.s
@@ -37,7 +37,7 @@
 	smulwt \a,   \twiddle, \a
 	smlabt \tmp, \tmp, \q, \qa
 	smlabt \a, \a, \q, \qa
-	pkhtb \a, \a, \tmp, asr#16
+	pkhtb \a, \a, \tmp, asr #16
 .endm
 
 .macro doublebutterfly_plant a0, a1, twiddle, tmp, q, qa
@@ -45,7 +45,7 @@
 	smulwt \a1, \twiddle, \a1
 	smlabt \tmp, \tmp, \q, \qa
 	smlabt \a1, \a1, \q, \qa
-	pkhtb \tmp, \a1, \tmp, asr#16
+	pkhtb \tmp, \a1, \tmp, asr #16
 	usub16 \a1, \a0, \tmp
 	uadd16 \a0, \a0, \tmp
 .endm
@@ -105,7 +105,7 @@
 	smulwt \c2,  \twiddle1, \c2
 	smlabt \tmp, \tmp, \q, \qa
 	smlabt \c2, \c2, \q, \qa
-	pkhtb \tmp, \c2, \tmp, asr#16
+	pkhtb \tmp, \c2, \tmp, asr #16
 	ssub16.w \c6, \tmp2, \tmp 
 	sadd16.w \c2, \tmp2, \tmp
 	//c6, c2: 4.5q
diff --git a/examples/naive/armv7m/intt_kyber.s b/examples/naive/armv7m/intt_kyber.s
index 481074a..0c707ee 100644
--- a/examples/naive/armv7m/intt_kyber.s
+++ b/examples/naive/armv7m/intt_kyber.s
@@ -30,7 +30,7 @@
 	smulwt \a, \plantconst, \a
 	smlabt \tmp, \tmp, \q, \qa
 	smlabt \a, \a, \q, \qa
-	pkhtb \a, \a, \tmp, asr#16
+	pkhtb \a, \a, \tmp, asr #16
 .endm
 
 .macro mul_twiddle_plant a, twiddle, tmp, q, qa
@@ -38,7 +38,7 @@
 	smulwt \a,   \twiddle, \a
 	smlabt \tmp, \tmp, \q, \qa
 	smlabt \a, \a, \q, \qa
-	pkhtb \a, \a, \tmp, asr#16
+	pkhtb \a, \a, \tmp, asr #16
 .endm
 
 .macro doublebutterfly_plant a0, a1, twiddle, tmp, q, qa
@@ -46,7 +46,7 @@
 	smulwt \a1, \twiddle, \a1
 	smlabt \tmp, \tmp, \q, \qa
 	smlabt \a1, \a1, \q, \qa
-	pkhtb \tmp, \a1, \tmp, asr#16
+	pkhtb \tmp, \a1, \tmp, asr #16
 	usub16 \a1, \a0, \tmp
 	uadd16 \a0, \a0, \tmp
 .endm
@@ -113,7 +113,7 @@
 	smulwt \c2,  \twiddle1, \c2
 	smlabt \tmp, \tmp, \q, \qa
 	smlabt \c2, \c2, \q, \qa
-	pkhtb \tmp, \c2, \tmp, asr#16
+	pkhtb \tmp, \c2, \tmp, asr #16
 	ssub16.w \c6, \tmp2, \tmp 
 	sadd16.w \c2, \tmp2, \tmp
 	//c6, c2: 4.5q
diff --git a/examples/naive/armv7m/ntt_769_dilithium.s b/examples/naive/armv7m/ntt_769_dilithium.s
index c1ab7bb..e1d25da 100644
--- a/examples/naive/armv7m/ntt_769_dilithium.s
+++ b/examples/naive/armv7m/ntt_769_dilithium.s
@@ -37,7 +37,7 @@
 	smulwt \a,   \twiddle, \a
 	smlabt \tmp, \tmp, \q, \qa
 	smlabt \a, \a, \q, \qa
-	pkhtb \a, \a, \tmp, asr#16
+	pkhtb \a, \a, \tmp, asr #16
 .endm
 
 .macro doublebutterfly_plant a0, a1, twiddle, tmp, q, qa
@@ -45,7 +45,7 @@
 	smulwt \a1, \twiddle, \a1
 	smlabt \tmp, \tmp, \q, \qa
 	smlabt \a1, \a1, \q, \qa
-	pkhtb \tmp, \a1, \tmp, asr#16
+	pkhtb \tmp, \a1, \tmp, asr #16
 	usub16 \a1, \a0, \tmp
 	uadd16 \a0, \a0, \tmp
 .endm
diff --git a/examples/naive/armv7m/pointwise_769_asymmetric_dilithium.s b/examples/naive/armv7m/pointwise_769_asymmetric_dilithium.s
index ba3684c..907d74d 100644
--- a/examples/naive/armv7m/pointwise_769_asymmetric_dilithium.s
+++ b/examples/naive/armv7m/pointwise_769_asymmetric_dilithium.s
@@ -52,7 +52,7 @@ small_asymmetric_mul_asm_769:
     smuadx r5, r4, r5
     plant_red r12, r14, r11, r5
 
-    pkhtb r5, r5, r6, asr#16
+    pkhtb r5, r5, r6, asr #16
     str.w r5, [r0], #width
 
 	smuad r6, r7, r9
@@ -60,7 +60,7 @@ small_asymmetric_mul_asm_769:
     smuadx r8, r7, r8
     plant_red r12, r14, r11, r8
 
-    pkhtb r8, r8, r6, asr#16
+    pkhtb r8, r8, r6, asr #16
     str.w r8, [r0], #width
     _asymmetric_mul_16_loop_end:
     cmp.w r0, r10