Concurrent Clean : CleanJ : push_r_args_a, push_r_args_b

この２つはよく似た命令で、レコード型から要素を１つ取り出すというもの。
push_r_args_aが通常のオブジェクトで、push_r_args_bが非ボックス化基本値を対象としている。
CodeGeneratorの対応する関数は、

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