i32 * i != i32
