diff --git a/bin/comp.ml b/bin/comp.ml
index e0e1720..35abe85 100644
--- a/bin/comp.ml
+++ b/bin/comp.ml
@@ -7,7 +7,8 @@ let some_source = "(define (print-three a b c)
                     (print a)
                     (print b)
                     (print c))
-                   (print-three 'hello 'world 'there)";;
+                   (print-three 'hello 'world 'there)
+                   (print 'fuck)";;
 (* I don't have any built-in functions at all rn, so we just use a dummy function *)
 
 let bruh =
diff --git a/lib/compiler/emit.ml b/lib/compiler/emit.ml
index 644ac09..5a612c7 100644
--- a/lib/compiler/emit.ml
+++ b/lib/compiler/emit.ml
@@ -95,7 +95,10 @@ let rec compile_one p = function
      compile_one p (Begin (e2 :: rest))
 
 and compile_all p exprs =
-  Util.traverse (compile_one p) exprs
+  Util.traverse
+    (fun e ->
+      let* _ = compile_one p e in
+      emit_instr p Pop) exprs
 
 (* Once we have compiled the top-level expressions, we must now compile
    all of the lambdas we held off on. Some of these will hold more
diff --git a/lib/vm/vm.ml b/lib/vm/vm.ml
index ca8a565..a58540d 100644
--- a/lib/vm/vm.ml
+++ b/lib/vm/vm.ml
@@ -15,7 +15,11 @@ let set_local state i v =
 let pop_one state =
   match state.stack with
   | v :: rest -> state.stack <- rest; v
-  | [] -> failwith ("VM error: cannot pop from empty stack! " ^ (string_of_int state.i))
+  | [] -> failwith ("VM error: cannot pop from empty stack! " )
+let peek_one state =
+  match state.stack with
+  | v :: _ -> v
+  | [] -> failwith ("VM error: cannot peek on empty stack! " )
 
 let push state v =
   state.stack <- (v :: state.stack)
@@ -42,14 +46,15 @@ let rec do_apply state =
   | _ -> failwith "Cannot apply non-closure object"
 
 and interpret state =
+  trace state;
   let i = state.i in
   state.i <- i + 1;
   (match state.instrs.(i) with
   | Constant x -> push state state.constants.(x) ; interpret state
   | LoadLocal x -> push state (load_local state x) ; interpret state
   | LoadGlobal x -> push state state.globals.(x) ; interpret state
-  | StoreLocal x -> set_local state x (pop_one state) ; interpret state
-  | StoreGlobal x -> Array.set state.globals x (pop_one state) ; interpret state
+  | StoreLocal x -> set_local state x (peek_one state) ; interpret state
+  | StoreGlobal x -> Array.set state.globals x (peek_one state) ; interpret state
   | MakeCons ->
      let cdr = pop_one state in
      let car = pop_one state in