src/work/marci/oldies/marci_bfs.hh
changeset 873 f3a30fda2e49