PARTIAL: converting 'RandCandPerm[]' into a standard container