Work in progress Type-C stdlib