original_kernel/lib/errno.c