#ifndef CONFIG_H
#define CONFIG_H

void readconfig(FILE *f, int argc, char **argv);

#endif
.