+#include <string.h>
+/** For printf */
+#include <stdio.h>
+
+#if defined(SDCC_ds390)
+#include <tinibios.h>
+#define clock() ClockTicks()
+#define CLOCKS_PER_SEC 1000
+#define memcpy(d,s,l) memcpyx(d,s,l)
+
+#elif defined(__z80) || defined(__gbz80)
+unsigned int _clock(void);
+
+#define clock _clock
+#define CLOCKS_PER_SEC 100
+
+#else
+/** For clock() */
+#include <time.h>
+#include <types.h>
+#endif
+
+/** Set to one to print more messages about expected values etc.
+ */
+#define DEBUG 0