libk  Files in kdb/ of a8d93823f15bad6e

Files in directory /kdb of check-in a8d93823f15bad6e