extern void gdsdmp_c(void);