`__distarray_` is pretty close to clashing with `__distarray__` from the DAP. Maybe we could use `__distarray_key_` or even `distarray_key`?