void gdis_exit(void);