add(min(1, 1), i32 * 1)
