Added -ftrapv for signed int overflow