/* dump.h */ EXTERN struct t_dump { long int nzdump; } dump;