inout int8 x 16
call inc128big