-(i64 * i32)
