char *datetime = __DATE__ " " __TIME__; .