x8 = 5i8;
x16 = <i16>x8 - 1i16;
print x16;
x32 = <i32>x16 - 1i32;
print x32;
x64 = <i64>x32 - 1i64;
print x64;