Update libc.c