BlockMemory
malloc and free checked