mark_terminals    440 src/alloc.c    static void mark_terminals (void);
mark_terminals   6204 src/alloc.c      mark_terminals ();