得たcソースをコンパイルしたり出先で実験したりもしたいのですが、c標準のシステムヘッダ<std*.h>(と対応するライブラリ)ってどこにあります?

以下tcc標準のインクルードパス検索結果
$ tcc -vv
tcc version 0.9.27 HEAD:6a24b762 2023-04-15T15:36:13+02:00 locally modified (AArch64 Linux)
install: /data/data/com.termux/files/usr/lib/tcc
include:
/data/data/com.termux/files/usr/include/aarch64-linux-android
/data/data/com.termux/files/usr/include
/data/data/com.termux/files/usr/lib/tcc/include
libraries:
/data/data/com.termux/files/usr/lib
/data/data/com.termux/files/usr/lib/tcc
/system/lib64
/system/vendor/lib64
libtcc1:
/data/data/com.termux/files/usr/lib/libtcc1.a
crt:
/data/data/com.termux/files/usr/lib/tcc/crt
elfinterp:
/system/bin/linker64

findでsystem以下をstd*.hで探してもstdio.h等は(Permission Denied除いて)該当無し…

dpkg -S tccを見ると、/data/data/com.termux/files/usr/lib/{lib*,tcc/include/*}にtccが最低限の独自ヘッダ/ライブラリを用意してくれているようではありますが…

システムlibcを引く方法や、使えるlibc入ってるパッケ教えて頂ければそれで有り難いです