"klibc"@cs .