define (: ?x ?y ;) (define ?x ?y)
: (?x dup) (?x ?x) ;
: (?x ?y swap) (?y ?x) ;
: (?x drop) () ;
: (?x ?y p*) (?x * ?y) ;
: square (dup p*) ;
10 square