Symbol: set_max