+#else
+#define vblperf_begin()
+#define vblperf_end()
+#endif
+
+void panic(void *pc, const char *fmt, ...) __attribute__((noreturn));
+
+void dbg_drawglyph(int x, int y, int c);
+int dbg_drawstr(int x, int y, const char *fmt, ...);
+int dbg_vdrawstr(int x, int y, const char *fmt, va_list ap);