-/* FIXME: are these typedefs right for m68hc11-gcc? */
-typedef unsigned char u8;
-typedef signed char s8;
-typedef unsigned short u16;
-typedef signed short s16;
-typedef unsigned long u32;
-typedef signed long s32;
-typedef u8 bool;
-typedef u16 addr_t;
-
-/* addresses of these set at link time */
-/* to add more addresses, define them here with buffered_addr_h, in helpers.c
+/* addresses of these set at link time
+ * to add more addresses, define them here with buffered_addr_h, in helpers.c