assertEq(-2^31, -31);