We now allow byval on fairly general pointer types.