diff --git a/.gitignore b/.gitignore
index 378eac2..43cad3d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 build
+result
diff --git a/default.nix b/default.nix
index 583cb5e..2aa9282 100644
--- a/default.nix
+++ b/default.nix
@@ -12,10 +12,16 @@ let
 in
 stdenv.mkDerivation {
   name = "x25519-agent";
+  src = nix-gitignore.gitignoreSource [] ./.;
 
   nativeBuildInputs = [
     gnumake
     gcc
     jasmin
   ];
+
+  installPhase = ''
+    mkdir $out
+    cp build/agent $out
+  '';
 }
diff --git a/src/agent.jazz b/src/agent.jazz
index 22f988f..ab44a8c 100644
--- a/src/agent.jazz
+++ b/src/agent.jazz
@@ -1,7 +1,7 @@
 from Jade require "crypto_scalarmult/curve25519/amd64/mulx/curve25519.jinc"
 
-export fn main(reg u64 p) -> reg u64 {
-    reg u64 ret;
-    ret = 0;
-    return ret;
+export fn agent_start(reg u64 shared_mem sync_mem) {
+    while (true) {
+        
+    }
 }