uint32_t load_elf(char *name, uint32_t *alloc);