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 *);