Not that it matters, but you could write: `let arg_val = arg.add_clean(arg_scope);` and then use `arg_val` below. That's how the datum class is intended to be used (i.e., more like a linear value -- it should always get consumed)