Exporting some symbols