i32 != 1 * i64
