No more Scalars/LabeledAggregates/Arrays/Pointers. How do you model a stack variables ? Do you create them under same region (say stack) with different indices or each of them is a different region with index = 0 ?