There is no guarantee that the variable name is unique here (and with the dim{} approach). Is that handled elsewhere?