Symbol: add_lengths