/platform.h/1.2/Thu Oct 18 09:01:53 2018//Tnetbsd-11-0-RC1
D
