Re: [PD] array resize in $0-abstraction