Filling in stdlib.h