Jasper Yu
says to
YSITD
symbolic execution一下就沒了