diff --git a/Guardfile b/Guardfile
--- a/Guardfile
+++ b/Guardfile
@@ -2,16 +2,6 @@
 # More info at https://github.com/guard/guard#readme
 
 guard :shell, :all_on_start => true do
-  
-  # watch /.*\.l?agda$/ do |m|
-  #   puts "\n\n\nCompiling..."
-  #   `agda -i ~/scm/lib/git/agda/standard-library/src -i . -c #{m[0]} && echo "Compiled!"`
-  # end
-  
-  # watch "hello.agda" do
-  #   puts "\n\n\nCompiling..."
-  #   `agda -i ~/scm/lib/git/agda/standard-library/src -i . -c hello.agda && echo "Compiled!" && ./hello`
-  # end
 
   watch /.*\.l?hs$/ do |m|
     if m[0].scan("MAlonzo").empty?
diff --git a/chu2.cabal b/chu2.cabal
--- a/chu2.cabal
+++ b/chu2.cabal
@@ -1,5 +1,5 @@
 Name:                 chu2
-Version:              2012.11.17.1
+Version:              2012.11.17.2
 Build-type:           Simple
 Synopsis:             FFI for Chu2 Agda Web Server Interface
 Description:
@@ -20,6 +20,7 @@
                       src/Chu2.agda
                       src/Hello.agda
                       src/Chu2/ByteString.agda
+                      src/Chu2/Handler/SnapServer.agda
                       
 
 library
diff --git a/src/Chu2/Handler/SnapServer.agda b/src/Chu2/Handler/SnapServer.agda
new file mode 100644
--- /dev/null
+++ b/src/Chu2/Handler/SnapServer.agda
@@ -0,0 +1,24 @@
+module Chu2.Handler.SnapServer where
+
+open import Chu2 using (Handler)
+
+private 
+  postulate
+    Integer : Set
+    onPort_run' : Integer → Handler
+
+{-# BUILTIN       INTEGER Integer #-}
+{-# COMPILED_TYPE Integer Integer #-}
+
+{-# IMPORT Chu2.Handler.SnapServerFFI #-}
+{-# COMPILED onPort_run' Chu2.Handler.SnapServerFFI.onPort_run #-}
+
+open import Data.Nat using (ℕ)
+
+primitive
+  primNatToInteger : ℕ -> Integer
+
+onPort_run : ℕ → Handler
+onPort_run port = onPort_run' (primNatToInteger port)
+
+