#ifndef __LINKER_H__
#define __LINKER_H__
void addfile(char *);
void dumpfile(char *);
void init(int);
void flush(void);
#endif