diff --git a/TODO.org b/TODO.org
index 70ff8ff..8fafde4 100644
--- a/TODO.org
+++ b/TODO.org
@@ -71,10 +71,10 @@ involve:
 *** [?] annotated-read
  - the implementation of this package is missing from s48
 
-** ps-compiler/prescheme/package-defs.scm [4/27]
+** ps-compiler/prescheme/package-defs.scm [5/27]
 *** [-] prescheme-compiler
 *** [-] prescheme-display
-*** [ ] protocol
+*** [X] protocol
 *** [ ] prescheme-front-end
 *** [ ] forms
 *** [ ] expand
diff --git a/ps-compiler/prescheme/spec.scm b/ps-compiler/prescheme/spec.scm
index b2433e6..f10fe6e 100644
--- a/ps-compiler/prescheme/spec.scm
+++ b/ps-compiler/prescheme/spec.scm
@@ -17,7 +17,10 @@
   #:use-module (ps-compiler node primop)
   #:use-module (ps-compiler prescheme type)
   #:use-module (ps-compiler prescheme primop primop)
-  #:use-module (ps-compiler util util))
+  #:use-module (ps-compiler util util)
+  #:export (normal-protocol
+            goto-protocol
+            goto-protocol?))
 
 (set-compiler-parameter! 'lambda-node-type
                          (lambda (node)