Add config.h option to printf DLOG messages if logging is disabled
Add config.h option for printf() debug log output
Add extra debugging messages
get_int -> get_int32, use intptr_t where appropriate, style cleanups
Rename get_int to get_int32