Non-working export code, but exporting nonetheless!