mark_kboards     6205 src/alloc.c      mark_kboards ();
mark_kboards      500 src/keyboard.h extern void mark_kboards (void);