-i32 * i32
