use matched sdfree() for sdmalloc(), and free() for malloc().