# 1 push B 　　 ＃1プッシュB
?　　　　＃ ry [spは負であることを覚えています]
　　　　＃スタック内の次のセルをクリアする[ sp が負である事を忘れない ]
?　　　　＃下の行はCの構文と同じです：*（++ sp）= 0;
　　　　＃ *(++sp)=0; という C 構文と下の行とは同じです：
　　　　dec sp; t1; sp t1; t2; sp t2; t1:0 t2:0
　　　　＃Cの構文と同じです：* sp + = B;
　　　　t3; sp t3; b Z; Z t3:0; Z

　　＃2プッシュA
　　　　? # the same with A　　　　? B ?
　　　　＃Aと同じ
　　　　dec sp; t4; sp t4; t5; sp t5; t4:0 t5:0
　　　　t6; sp t6; a Z; Z t6:0; Z

　　＃3 push return_address
　　　　dec sp; t7; sp t7; t8; sp t8; t7:0 t8:0
　　　　t9; sp t9; t10 t9:0 goto_address
　　　　. t10: return_address

　　＃4 goto f
　　　　goto_address: Z Z f
　　＃5 sp - = 3
　　　　return_address: const(-3) sp

? 表記const（-3）spは
ノート : const(-3) sp は以下の短縮

　　unique_name sp
　　...
　　unique_name:-3