A type-safe wrapper for libc malloc providing additional temporal safety