More work on Standard C library