diff --git a/examples/aiken_std/lib/aiken/bytearray.ak b/examples/aiken_std/lib/aiken/bytearray.ak
new file mode 100644
index 00000000..d642c672
--- /dev/null
+++ b/examples/aiken_std/lib/aiken/bytearray.ak
@@ -0,0 +1,5 @@
+use aiken/builtins
+
+pub fn slice(bytes: ByteArray, start: Int, end: Int) -> ByteArray {
+  builtins.sliceByteString(start, end, bytes)
+}
diff --git a/examples/aiken_std/lib/aiken/context.ak b/examples/aiken_std/lib/aiken/context.ak
deleted file mode 100644
index 380de2e6..00000000
--- a/examples/aiken_std/lib/aiken/context.ak
+++ /dev/null
@@ -1,8 +0,0 @@
-pub type ScriptContext(purpose) {
-    tx_info: TxInfo,
-    script_purpose: purpose,
-}
-
-pub type TxInfo {
-    idk: Int,
-}