i32 * (i32 - i64)
