C standard library
C standard library and its codice_1 function is unavailable in kernel mode, hence the need for codice_3.