plan9port's libc