Modifying to have voidptr.h