C library: Refine and improve stdio models #11170

Job	Run time
check-ubuntu-24_04-make-clang	24m 31s
check-ubuntu-24_04-make-gcc	18m 33s
check-ubuntu-24_04-make-clang-smt-z3	6m 59s
check-ubuntu-24_04-cmake-gcc	17m 47s
check-ubuntu-22_04-cmake-gcc	16m 42s
check-vs-2025-cmake-build-and-test	39m 25s
check-ubuntu-24_04-arm-cmake-gcc	13m 59s
check-vs-2022-make-build-and-test	6h 0m 11s
windows-msi-package	12m 51s
check-ubuntu-22_04-make-clang	17m 5s
check-string-table	1m 44s
check-ubuntu-24_04-cmake-gcc-14	15m 13s
check-ubuntu-24_04-cmake-gcc-KNOWNBUG	3m 57s
check-ubuntu-24_04-cmake-gcc-THOROUGH	9m 47s
check-macos-13-make-clang	24m 9s
check-macos-14-cmake-clang	1h 12m 6s
check-ubuntu-22_04-cmake-gcc-32bit	15m 18s
include-what-you-use	15m 23s
check-docker-image	19m 42s
	11h 45m 22s

Provide feedback