require klibc.inc