i32 * 1 < i
