#ifndef __STDC__

> >> 	printf("NetBSD/" MACHINE " " NETBSD_VERS " " BOOT_TYPE_NAME
> >> 	    " Bootstrap, Revision " BOOTPROG_VERS "\n");
> >> 	printf("(" BOOTPROG_MAKER ", " BOOTPROG_DATE ")\n");

#else

> 	printf("NetBSD/%s %s %s Bootstrap, Revision %s\n",
> 		MACHINE, NETBSD_VERS, BOOT_TYPE_NAME, BOOTPROG_VERS);
> 	printf("(%s, %s)\n",
> 		BOOTPROG_MAKER, BOOTPROG_DATE);

#endif