worklist algorithm compiles...