diff --git a/include/pub_tool_libcprint.h b/include/pub_tool_libcprint.h
index 8e44d23..b9155b3 100644
--- a/include/pub_tool_libcprint.h
+++ b/include/pub_tool_libcprint.h
@@ -49,6 +49,9 @@
    Messages for the user
    ------------------------------------------------------------------ */
 
+/* No, really.  I _am_ that strange. */
+#define OINK(nnn) VG_(message)(Vg_DebugMsg, "OINK %d",nnn)
+
 /* Print a message prefixed by "??<pid>?? "; '?' depends on the VgMsgKind.
    Should be used for all user output. */