de bruijn constant