extern int choose_alloc(int size); extern int _choose_alloc(int); extern void *smalloc(int size, int pid); extern void sfree(void *blockaddr); extern void *malloc(int); extern void free(void *);