void postMsg(char *msg, va_list ap);
-void postCapMsg(Capability *cap, char *msg, va_list ap);
+void postUserMsg(Capability *cap, char *msg);
-void printAndClearEventLog(Capability *cap);
+void postCapMsg(Capability *cap, char *msg, va_list ap);
#else /* !TRACING */