Some implementation of libc