kernel and libc work