Modified stdlib_headers.txt.