YSITD_TG_Bot
says to
#ysitd
<rextw>: FUCK Z3 一開始看到 push 跟 pop 就看不懂了QQ