/src/kernel/lib/stdlib/