Runtime library for The Portable C Compiler