int4 = -17