C Standard Library for 42