mark_pgtkterm    6208 src/alloc.c      mark_pgtkterm ();
mark_pgtkterm     610 src/pgtkterm.h extern void mark_pgtkterm (void);