+
+int ASPgetmsg(gref_t *, strbuf_t *, strbuf_t *, gbuf_t **, int *, int *);
+int ASPputmsg(gref_t *, strbuf_t *, strbuf_t *, gbuf_t *, int , int *);
+void asp_init(void);
+void asp_ack_reply(gref_t *, gbuf_t *);
+void asp_nak_reply(gref_t *, gbuf_t *);
+int asp_wput(gref_t *, gbuf_t *);
+void asp_clock(void *);
+void asp_clock_locked(void *);
+int asp_open(gref_t *);
+int asp_close(gref_t *);
+
+