last([half, i32])
