1 files changed, 14 insertions, 0 deletions
diff --git a/Test/dafny0/Extern2.cs b/Test/dafny0/Extern2.cs
new file mode 100644
index 00000000..2fcaf18b
--- /dev/null
+++ b/Test/dafny0/Extern2.cs
@@ -0,0 +1,14 @@
+using System.Numerics;
+namespace @Modx {
+
+  public partial class @classx {
+    public static BigInteger @Fun1x() {
+      return BigInteger.One;
+    }
+    public static void @Method1x(out BigInteger @x)
+    {
+      ExternHelloLibrary.ExternHelloLibrary.SayHello();
+      @x = BigInteger.One;
+    }
+  }
+}