sig
  val value_bound : JavaServlet.http_session_binding_event -> unit
  val value_unbound : JavaServlet.http_session_binding_event -> unit
end