Concurrent Clean : CleanJ : push_r_args_b

プログラミング

push_r_args_b命令の引数の意味を考えている。

.record r16 ircba 1 5 "StrictRecord"

の最初の「i」を取り出す関数。

.desc d17 n17 l17 1 0 "StrictRecord.i"
.n -3 d17
.o 1 0
n17
	push_node _cycle_in_spine 1
	jsr_eval 0
.o 2 0
l17
	push_r_args_b 0 1 5 1 1
	pop_a 1
	fillI_b 0 0
	pop_b 1
.d 1 0
	rtn

このpush_r_args_b命令の引数はどういう意味か？
前後の流れから読み解くに、

A-Stackのトップのオブジェクトから （第１引数）
１ワード目から （第４引数）
１ワード分だけ取り出し （第５引数）
B-Stackに積む

という意味かな？