src/work/akos/k_cover.cc
changeset 1077 784a8bc07316