2.1.4 Pushing Several BINTs
641FC |
ZEROZERO
|
( → #0 #0 )
|
64209 |
#ZERO#ONE
|
( → #0 #1 )
|
6427A |
#ZERO#SEVEN
|
( → #0 #7 )
|
63AC4 |
ONEONE
|
( → #1 #1 )
aka: ONEDUP
|
6428A |
#ONE#27
|
( → #1 #27d )
|
6429D |
#TWO#ONE
|
( → #2 #1 )
|
642AF |
#TWO#TWO
|
( → #2 #2 )
|
642BF |
#TWO#FOUR
|
( → #2 #4 )
|
642D1 |
#THREE#FOUR
|
( → #3 #4 )
|
642E3 |
#FIVE#FOUR
|
( → #5 #4 )
|
64309 |
ZEROZEROZERO
|
( → #0 #0 #0 )
|
6431D |
ZEROZEROONE
|
( → #0 #0 #1 )
|
64331 |
ZEROZEROTWO
|
( → #0 #0 #2 )
|
62535 |
DROPZERO
|
( ob → #0 )
|
64449 |
(3DROPZERO)
|
( ob ob ob → #0 )
|
6254E |
2DROP00
|
( ob ob → #0 #0 )
|
62946 |
DROPONE
|
( ob → #1 )
|
63A88 |
DUPZERO
|
( ob → ob ob #0 )
|
63A9C |
DUPONE
|
( ob → ob ob #1 )
|
63AD8 |
DUPTWO
|
( ob → ob ob #2 )
|
63AB0 |
SWAPONE
|
( ob ob' → ob' ob #1 )
|
62E3A |
ZEROSWAP
|
( ob → #0 ob )
|
63079 |
ZEROOVER
|
( ob → ob #0 ob )
|
6351F |
ZEROFALSE
|
( → #0 F )
|
62E67 |
ONESWAP
|
( ob → #1 ob )
|
63533 |
ONEFALSE
|
( → #1 F )
|
This document was generated
by Carsten Dominik on May, 30 2005
using texi2html