Symbol: cur_max_x