Implement add_strings(a, b) and multiply_strings(a, b) for non-negative integers given as digit strings, without converting the whole strings to int. Results have no leading zeros (except "0" itself).
This is how arbitrary-precision arithmetic works under the hood.