- vec_push(block->locals, whole);
- vec_push(block->locals, nth);
- vec_push(block->locals, sign);
- vec_push(block->locals, eps);
- vec_push(block->locals, A_i);
- vec_push(block->locals, B_i);
- vec_push(block->locals, A_iminus1);
- vec_push(block->locals, B_iminus1);
+ block->locals.push_back(whole);
+ block->locals.push_back(nth);
+ block->locals.push_back(sign);
+ block->locals.push_back(eps);
+ block->locals.push_back(A_i);
+ block->locals.push_back(B_i);
+ block->locals.push_back(A_iminus1);
+ block->locals.push_back(B_iminus1);