[PD] array resize in $0-abstraction