fn extend_integer_width<Ty>(arg: &mut ArgAbi<'_, Ty>, xlen: u64)