KnightOS's C library