Skeleton infrastructure in ParseExternalDeclration