One more assumption about malloc.