I don't think it's reasonable to have run-time support for this feature. It could be solved by something like this: `val[0] = data[0]`, where data is of integer type.