/config.h/1.5/Sun Sep 20 20:34:44 2020//Tnetbsd-10
/defs.mk/1.2/Wed Nov 29 18:15:32 2017//Tnetbsd-10
/gstdint.h/1.10/Sun Jun 26 05:48:10 2022//Tnetbsd-10
D