de Bruijn graphs