lib_kernel.c revision a68dd7c2
1