Verify that all four formats are exported.