libk  Files in mod/kmem/ of tip