mark_terminals    475 src/alloc.c    static void mark_terminals (void);
mark_terminals   6500 src/alloc.c      mark_terminals ();