Add export of top level header