extern int read_elf(const char *);