diff --git a/test/testWorkspace/lib/circleArea.fpkg.txt b/test/testWorkspace/lib/circleArea.fpkg.txt
new file mode 100644
index 0000000..23fd7bf
--- /dev/null
+++ b/test/testWorkspace/lib/circleArea.fpkg.txt
@@ -0,0 +1,6 @@
+circleArea.fpkg contains a single function that computes the area of a circle given its radius:
+
+```
+/// Compute the area of a circle given its radius.
+def circleArea(r: Int32): Int32 = 3 * (r * r)
+```
diff --git a/test/testWorkspace/lib/external/SquareArea.jar.txt b/test/testWorkspace/lib/external/SquareArea.jar.txt
new file mode 100644
index 0000000..7d42979
--- /dev/null
+++ b/test/testWorkspace/lib/external/SquareArea.jar.txt
@@ -0,0 +1,12 @@
+SquareArea.jar contains the compiled class file for the following Java code:
+
+```
+package dev.flix;
+
+public class SquareArea {
+  /**
+   * Compute the area of a square given its side length.
+   */
+  public static int squareArea(int w) { return w * w; }
+}
+```