Sorry, I meant their libc. That would be very useful if open-sourced. They state that "we provide our own libc that is written in standard C and is optimized f

Sorry, I meant their libc. That would be very useful if open-sourced. They state that "we provide our own libc that is written in standard C and is optimized for safety instead of performance", but I don't see where to find it.