devilfox: edited the loaderfiles to use pointers