type(i32 * i32)
