i32 * 1 * i32
