diff --git a/flap/src/fopix/hobixToFopix.ml b/flap/src/fopix/hobixToFopix.ml
index 799ef70..7d39d3b 100644
--- a/flap/src/fopix/hobixToFopix.ml
+++ b/flap/src/fopix/hobixToFopix.ml
@@ -235,7 +235,12 @@ let translate (p : S.t) env =
       let bfs, b = expression env b in
       let cfs, c = expression env c in
       afs @ bfs @ cfs, T.IfThenElse (a, b, c)
-    | S.Fun (x, e) -> failwith "Students! This is your job (S.Fun)!"
+    | S.Fun (x, e) ->
+      let fname = make_fresh_function_identifier () in
+      let x = List.map identifier x in
+      let efs, e = expression env e in
+      failwith "Students! This is your job (S.Fun)!"
+      (* efs, T.DefineFunction (fname, x, e) *)
     | S.AllocateBlock a ->
       let afs, a = expression env a in
       afs, allocate_block a