DFS compiles