Public headers are public.