Do these need to be exported?