diff --git a/sample/sample123.nev b/sample/sample123.nev
new file mode 100644
index 0000000..edc2e78
--- /dev/null
+++ b/sample/sample123.nev
@@ -0,0 +1,15 @@
+
+func f1(E : int, a[D] : int) -> int
+{
+    assert(D == E);
+    0
+}
+
+func main() -> int
+{
+    f1( 0, [] : int );
+    f1( 3, [ 1, 2, 3 ] : int );
+    f1( 10, {[ 10 ]} : int );
+    0
+}
+