1
2extern
3void* linker_top_level_LINK ( int n_object_names, char** object_names );
4
5extern void* mymalloc ( int );
6