YSITD_TG_Bot2
says to
#ysitd
[Title] 怎样写出没有 bug 的程序：程序证明的简单例子优秀回答者