i32 * i32 == i32
