HomeIsabelle/Phabricator

tuned: avoid redundant copy of potentially large array;