#include <sys/mono.h> void _mono_printf(const char *fmt, ...);
Like printf, but prints to the monochrome monitor.