src/work/akos/k_cover.cc
changeset 1040 372f08e8f403