loadfile
int __elfN(loadfile)(char *, uint64_t, struct preloaded_file **);
__elfN(loadfile)(char *filename, uint64_t dest, struct preloaded_file **result)
.l_load = loadfile,
r = __elfN(loadfile)(filename, dest, result);
.l_load = __elfN(loadfile),
r = __elfN(loadfile)(filename, dest, result);
r = __elfN(loadfile)(filename, dest, result);
r = __elfN(loadfile)(filename, dest, result);
r = __elfN(loadfile)(filename, dest, result);
r = __elfN(loadfile)(filename, dest, result);