PRT: [Dup-Var: size Dup-Var: view ]