Ported libc code