diff --git a/testdata/eval/positive/9.txt b/testdata/eval/positive/9.txt
new file mode 100644
index 0000000000000000000000000000000000000000..301160a93062df23030a69f4b5e4d9bf71866ee9
--- /dev/null
+++ b/testdata/eval/positive/9.txt
@@ -0,0 +1 @@
+8
\ No newline at end of file