diff --git a/examples/acceptance_tests/016/aiken.toml b/examples/acceptance_tests/016/aiken.toml
new file mode 100644
index 00000000..2c34e1f4
--- /dev/null
+++ b/examples/acceptance_tests/016/aiken.toml
@@ -0,0 +1,2 @@
+name = "acceptance_test_016"
+version = "0.0.0"
diff --git a/examples/acceptance_tests/016/lib/test.ak b/examples/acceptance_tests/016/lib/test.ak
new file mode 100644
index 00000000..38094132
--- /dev/null
+++ b/examples/acceptance_tests/016/lib/test.ak
@@ -0,0 +1,19 @@
+use aiken/builtin
+
+pub fn slice(bytes: ByteArray, start: Int, end: Int) -> ByteArray {
+  builtin.slice_bytearray(start, end, bytes)
+}
+
+pub fn length(bytes: ByteArray) -> Int {
+  builtin.length_of_bytearray(bytes)
+}
+
+pub fn drop(bytes: ByteArray, n: Int) -> ByteArray {
+  slice(bytes, n, length(bytes) - n)
+}
+
+test drop_1() {
+  let x = #[1, 2, 3, 4, 5, 6, 7]
+  drop(x, 2) == #[3, 4, 5, 6, 7]
+}
+