+void p32x_timers_do(unsigned int cycles);\r
+void p32x_timers_recalc(void);\r
+void p32x_pwm_schedule(unsigned int now);\r
+#else\r
+#define Pico32xInit()\r
+#define PicoPower32x()\r
+#define PicoReset32x()\r
+#define PicoFrame32x()\r
+#define PicoUnload32x()\r
+#define Pico32xStateLoaded()\r
+#define PicoDraw32xSetFrameMode(...)\r
+#define FinalizeLine32xRGB555 NULL\r
+#define p32x_pwm_update(...)\r
+#define p32x_timers_recalc()\r
+#endif\r