src/work/akos/k_cover.cc
2004-11-29 Added this in order to prevent losing it.