i32 * min(1)
