include klibc.inc