Checked arithmetic with stdckdint.h