../user/lib/elfload.h