export more symbols