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の両方をあわせたインデックスだと思っていたのだけれど、別々に考えるべきだったようだ。