Symbol: V_curr_max_length