Yep, I think so. Can we somehow test that?

Btw, does the `add()` function really take an arbitrary number of arguments (via the arg unpacking)? I thought it takes a list. But I might remember wrong :)