use the Python memory manager