i64 - 1 - i32
