with2=: &2
   +with2 3
5