That makes sense, I guess this was not a problem for the times I needed nolibc. I do agree that trying to extract data/logic from linux is a pain -- I've tried

That makes sense, I guess this was not a problem for the times I needed nolibc. I do agree that trying to extract data/logic from linux is a pain -- I've tried a few times to extract some of the eBPF verifier handling, but end up pulling most of the kernel along.