Updated comments at PRINTF_PROC --- it works again.
Updated various header files for consistency. Remove some unused stuff ... better check to be done.