s = NON_VOLATILE vol_s = Void vol_as = Void i = 123123 vol_i = 0 s = NON_VOLATILE vol_s = Void vol_as = Void i = 123123 vol_i = 0 s = NON_VOLATILE vol_s = Void vol_as = Void i = 123123 vol_i = 0 s = NON_VOLATILE vol_s = Void vol_as = Void i = 123123 vol_i = 0 s = NON_VOLATILE vol_s = Void vol_as = Void i = 123123 vol_i = 0 s = NON_VOLATILE vol_s = Void vol_as = Void i = 123123 vol_i = 0 Execution completed