diff --git a/examples/aiken_std/lib/aiken/bytearray.ak b/examples/aiken_std/lib/aiken/bytearray.ak
index 0a334385..a5b26fbe 100644
--- a/examples/aiken_std/lib/aiken/bytearray.ak
+++ b/examples/aiken_std/lib/aiken/bytearray.ak
@@ -9,7 +9,7 @@ pub fn length(bytes: ByteArray) -> Int {
 }
 
 pub fn is_empty(bytes: ByteArray) -> Bool {
-  builtin.emptyByteArray(bytes)
+  length(bytes) == 0
 }
 
 pub fn concat(left front: ByteArray, right back: ByteArray) -> ByteArray {
diff --git a/examples/aiken_std/lib/aiken/context.ak b/examples/aiken_std/lib/aiken/context.ak
new file mode 100644
index 00000000..3cc49644
--- /dev/null
+++ b/examples/aiken_std/lib/aiken/context.ak
@@ -0,0 +1,17 @@
+pub type ScriptContext(purpose) {
+  transaction: Transaction,
+  purpose: purpose,
+}
+
+pub type Transaction {
+  inputs: List(Nil),
+  outputs: List(Nil),
+  fee: Nil,
+  mint: Nil,
+  certificates: List(Nil),
+  withdrawals: List(Nil),
+  validity_range: Nil,
+  extra_signatories: Nil,
+  datums: List(Nil),
+  id: ByteArray,
+}
diff --git a/examples/aiken_std/lib/aiken/context/mint.ak b/examples/aiken_std/lib/aiken/context/mint.ak
new file mode 100644
index 00000000..e1efad2e
--- /dev/null
+++ b/examples/aiken_std/lib/aiken/context/mint.ak
@@ -0,0 +1,3 @@
+pub type Mint {
+  currency_symbol: ByteArray,
+}
diff --git a/examples/aiken_std/validators/always_true.ak b/examples/aiken_std/validators/always_true.ak
index 2b805045..b792130a 100644
--- a/examples/aiken_std/validators/always_true.ak
+++ b/examples/aiken_std/validators/always_true.ak
@@ -1,3 +1,6 @@
-pub fn spend(d: Nil, r: Nil, ctx: Nil) -> Bool {
+use aiken/context.{ScriptContext}
+use aiken/context/mint.{Mint}
+
+pub fn mint(d: Nil, r: Nil, ctx: ScriptContext(Mint)) -> Bool {
   True
 }