init
res := v2
res := AAA
res := v1
res := v2
res:v1
res:v2
res:AAA
res:v1
res:v2
