First cut at supporting the new, more permissive checking for void** and similar.