export some symbols