+/* Console printf macro implicitly uses the Uprint interface used by the module
+ * within which this macro is called.
+ */
+#define cprintf(fmt, args...) uprintf(call Uprint.uptr(), fmt, ## args)
+
+/* Console fprintf macro prints to the channel wired to the Uprint interface
+ * provided as the uprint_interface argument. Allows for printing to multiple
+ * channels from within the same module.
+ */
+#define cfprintf(uprint_interface, fmt, args...) \
+ uprintf(call uprint_interface.uptr(), fmt, ## args)
+