Leko says to YSITD https://delta.lancs.ac.uk/alexander/unikraft/tree/f8b3fefd9b103f090fefd6863127c4c35538b191/lib/nolibc