Fix bug where array malloc with unexpected computation of the size argument resulted...