ZeroVM glibc port (part of the gcc toolchain)