diff --git a/zokrates_core_test/tests/tests/constants/issue_1038/a.json b/zokrates_core_test/tests/tests/constants/issue_1038/a.json
new file mode 100644
index 00000000..75448587
--- /dev/null
+++ b/zokrates_core_test/tests/tests/constants/issue_1038/a.json
@@ -0,0 +1,4 @@
+{
+    "entry_point": "./tests/tests/constants/issue_1038/a.zok",
+    "tests": []
+}
diff --git a/zokrates_core_test/tests/tests/constants/issue_1038/a.zok b/zokrates_core_test/tests/tests/constants/issue_1038/a.zok
new file mode 100644
index 00000000..5ddebadc
--- /dev/null
+++ b/zokrates_core_test/tests/tests/constants/issue_1038/a.zok
@@ -0,0 +1,5 @@
+from "./b" import SIZE_WORDS
+
+def main(field[SIZE_WORDS] a):
+    assert(a == [0; SIZE_WORDS])
+    return
\ No newline at end of file
diff --git a/zokrates_core_test/tests/tests/constants/issue_1038/b.zok b/zokrates_core_test/tests/tests/constants/issue_1038/b.zok
new file mode 100644
index 00000000..864eeef5
--- /dev/null
+++ b/zokrates_core_test/tests/tests/constants/issue_1038/b.zok
@@ -0,0 +1,2 @@
+const u32 SIZE_BYTES = 136
+const u32 SIZE_WORDS = SIZE_BYTES/8
\ No newline at end of file
diff --git a/zokrates_core_test/tests/tests/constants/issue_1038/reversed/a.zok b/zokrates_core_test/tests/tests/constants/issue_1038/reversed/a.zok
new file mode 100644
index 00000000..864eeef5
--- /dev/null
+++ b/zokrates_core_test/tests/tests/constants/issue_1038/reversed/a.zok
@@ -0,0 +1,2 @@
+const u32 SIZE_BYTES = 136
+const u32 SIZE_WORDS = SIZE_BYTES/8
\ No newline at end of file
diff --git a/zokrates_core_test/tests/tests/constants/issue_1038/reversed/b.json b/zokrates_core_test/tests/tests/constants/issue_1038/reversed/b.json
new file mode 100644
index 00000000..0de904eb
--- /dev/null
+++ b/zokrates_core_test/tests/tests/constants/issue_1038/reversed/b.json
@@ -0,0 +1,4 @@
+{
+    "entry_point": "./tests/tests/constants/issue_1038/reversed/b.zok",
+    "tests": []
+}
\ No newline at end of file
diff --git a/zokrates_core_test/tests/tests/constants/issue_1038/reversed/b.zok b/zokrates_core_test/tests/tests/constants/issue_1038/reversed/b.zok
new file mode 100644
index 00000000..78e0375f
--- /dev/null
+++ b/zokrates_core_test/tests/tests/constants/issue_1038/reversed/b.zok
@@ -0,0 +1,5 @@
+from "./a" import SIZE_WORDS
+
+def main(field[SIZE_WORDS] a):
+    assert(a == [0; SIZE_WORDS])
+    return
\ No newline at end of file
diff --git a/zokrates_core_test/tests/tests/constants/issue_1047/a.json b/zokrates_core_test/tests/tests/constants/issue_1047/a.json
new file mode 100644
index 00000000..f7bab70f
--- /dev/null
+++ b/zokrates_core_test/tests/tests/constants/issue_1047/a.json
@@ -0,0 +1,4 @@
+{
+    "entry_point": "./tests/tests/constants/issue_1047/a.zok",
+    "tests": []
+}
diff --git a/zokrates_core_test/tests/tests/constants/issue_1047/a.zok b/zokrates_core_test/tests/tests/constants/issue_1047/a.zok
new file mode 100644
index 00000000..6c03c962
--- /dev/null
+++ b/zokrates_core_test/tests/tests/constants/issue_1047/a.zok
@@ -0,0 +1,4 @@
+from "./b" import B
+
+def main():
+    return
\ No newline at end of file
diff --git a/zokrates_core_test/tests/tests/constants/issue_1047/b.zok b/zokrates_core_test/tests/tests/constants/issue_1047/b.zok
new file mode 100644
index 00000000..c9063cad
--- /dev/null
+++ b/zokrates_core_test/tests/tests/constants/issue_1047/b.zok
@@ -0,0 +1,2 @@
+const field A = 1
+const field B = A + 1
\ No newline at end of file
diff --git a/zokrates_core_test/tests/tests/constants/issue_1047/reversed/a.zok b/zokrates_core_test/tests/tests/constants/issue_1047/reversed/a.zok
new file mode 100644
index 00000000..c9063cad
--- /dev/null
+++ b/zokrates_core_test/tests/tests/constants/issue_1047/reversed/a.zok
@@ -0,0 +1,2 @@
+const field A = 1
+const field B = A + 1
\ No newline at end of file
diff --git a/zokrates_core_test/tests/tests/constants/issue_1047/reversed/b.json b/zokrates_core_test/tests/tests/constants/issue_1047/reversed/b.json
new file mode 100644
index 00000000..579bfe1b
--- /dev/null
+++ b/zokrates_core_test/tests/tests/constants/issue_1047/reversed/b.json
@@ -0,0 +1,4 @@
+{
+    "entry_point": "./tests/tests/constants/issue_1047/reversed/b.zok",
+    "tests": []
+}
\ No newline at end of file
diff --git a/zokrates_core_test/tests/tests/constants/issue_1047/reversed/b.zok b/zokrates_core_test/tests/tests/constants/issue_1047/reversed/b.zok
new file mode 100644
index 00000000..83f8a4e6
--- /dev/null
+++ b/zokrates_core_test/tests/tests/constants/issue_1047/reversed/b.zok
@@ -0,0 +1,4 @@
+from "./a" import B
+
+def main():
+    return
\ No newline at end of file