zypeh
says to
YSITD
constant folding 啊，partial evaluation 等等