Update: dynamic memory allocation in v_aux too