External headers in <>