用 stdckdint.h 进行带检查的算术运算