As mentioned on the forums, the format specifiers are incorrect on 64 bit systems. Maybe the fact that even you got that wrong is the most convincing argument as to why we should not encourage usage of C `printf` in the documentation.