de bruijn, where type, check exported functions