undefined printf functions in knc-i1x16.h