src/work/marci/oldies/marci_bfs.hh
changeset 644 d84f3d42237d