libk  Files in kstr/ of d27f92e3b7e88d34

Files in directory /kstr of check-in d27f92e3b7e88d34