Rex .__.
says to
YSITD
FUCK Z3 一開始看到 push 跟 pop 就看不懂了QQ