Assertions in export.py are now annotated (useful for debugging).