Symbol: partial_len