libk  Files in mod/kdb/ of 76f1cf8037a8bc40

Files in directory mod/kdb of check-in 76f1cf8037a8bc40