Re: private externs break shark on kernel/drivers