Just found this project that could help: https://github.com/daniel-j/picostdlib