*/
int attach(char *, char *, char *, size_t, char *, size_t, int);
void clean_up_temporary_files(const char *, const char *);
*/
int attach(char *, char *, char *, size_t, char *, size_t, int);
void clean_up_temporary_files(const char *, const char *);