Push is a programming language created in 2001 by Lee Spector and Alan Robinson.
TIMES2 CODE.QUOTE ( 2 INTEGER.* ) CODE.DEFINE