VPL := [];