pgtk_free_devices  224 src/pgtkterm.c   pgtk_free_devices (dpyinfo);
pgtk_free_devices 6977 src/pgtkterm.c   pgtk_free_devices (dpyinfo);