IRtoLLVM: added simple printf-support