Use __printf__ instead of printf to avoid problem with "#define printf