de Bruijn function