diff --git a/code/jasmin/mlkem_avx2/extraction/Array1.ec b/code/jasmin/mlkem_avx2/extraction/Array1.ec
new file mode 100644
index 00000000..1dcc3280
--- /dev/null
+++ b/code/jasmin/mlkem_avx2/extraction/Array1.ec
@@ -0,0 +1,3 @@
+from Jasmin require import JArray.
+
+clone export PolyArray as Array1  with op size <- 1.