VStack - a virtual stack for reified computations