1 1 + .
: add1 1 + ;
7 add1 .
: add2 add1 add1 ;
7 add2 .