splint: wrap malloc