mark_pgtkterm    6504 src/alloc.c      mark_pgtkterm ();
mark_pgtkterm     608 src/pgtkterm.h extern void mark_pgtkterm (void);