let dep0 = Atom.Set.empty