Concurrent Clean : CleanJ : push_r_args_a, push_r_args_b, repl_r_args_a, repl_r_args_b

これらの命令は、レコード型から指定したフィールドだけを取り出す命令なのだけれど、

void code_push_r_args_a (int a_offset,int a_size,int b_size,int argument_number,int n_arguments)

とあるうちの、argument_numberが当初、aとbの両方をあわせたインデックスだと思っていたのだけれど、別々に考えるべきだったようだ。