( 2*                                           multiply n by 2 )

: 2*                              ( n --- n )
  2 *                             ( multiply n by 2)
;